JTACO: Test Execution for Faster Bounded Verification

TitleJTACO: Test Execution for Faster Bounded Verification
Publication TypeConference Paper
Year of Publication2014
AuthorsKampmann, A, Galeotti, JP, Zeller, A
Conference NameTAP 2014: Proceedings of the 8th International Conference on Tests and Proofs
PublisherSpringer
ISBN Number978-3-319-09098-6
DOI10.1007/978-3-319-09099-3_10
PDF (Full text): 
Work Package: 
WP2