Testing Library Specifications by Verifying Conformance Tests

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30473-6_6 ◽

2012 ◽

pp. 51-66

Author(s):

Joseph R. Kiniry ◽

Daniel M. Zimmerman ◽

Ralph Hyland

Download Full-text