Testing Library Specifications by Verifying Conformance Tests

Joseph Roland Kiniry, Daniel Zimmerman, Ralph Hyland

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Testing Library Specifications by Verifying Conformance Tests'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science