Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites

TitleUsing Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites
Publication TypeBook Chapter
Year of Publication2012
AuthorsBengolea, VS, Aguirre, N, Marinov, D, Frias, MF
Book Title International Conference on Tests and Proofs TAP 2012
Volume7305
Series VolumeLecture Notes in Computer Science
Pagination19 - 34
PublisherSpringer
ISBN Number978-3-642-30472-9
ISBN0302-9743
DOI10.1007/978-3-642-30473-6_4
Refereed DesignationRefereed
PDF (Full text): 
Work Package: 
WP5