Testing Library Specifications by Verifying Conformance Tests. - Joseph R. Kiniry; Daniel M. Zimmerman; Ralph Hyland (TAP@TOOLS, 2012)