Testing Library Specifications by Verifying Conformance Tests.

Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland

Browse the full TAP paper archive.