A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications

Isabel Nunes, Filipe Luís. A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 168-177, IEEE, 2013. [doi]

Authors

Isabel Nunes

This author has not been identified. Look up 'Isabel Nunes' in Google

Filipe Luís

This author has not been identified. Look up 'Filipe Luís' in Google