Login / Signup
Ralph Hyland
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Code Coverage
Process Execution
Formal Specification Language
Relational Databases
Top Venues
TAP@TOOLS
</>
Publications
</>
Joseph R. Kiniry
,
Daniel M. Zimmerman
,
Ralph Hyland
Testing Library Specifications by Verifying Conformance Tests.
TAP@TOOLS
(2012)