Rafael del Vado Vírseda. A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications. In Daoxu Chen, Mike Barker, LiGuo Huang, editors, 25th IEEE Conference on Software Engineering Education and Training, CSEE&T 2012, Nanjing, China, April 17-19, 2012. pages 100-104, IEEE, 2012. [doi]
Abstract is missing.