Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites
| Title | Using Coverage Criteria on RepOK to Reduce Bounded Exhaustive Test Suites |
| Publication Type | Book Chapter |
| Year of Publication | 2012 |
| Authors | Bengolea, VS, Aguirre, N, Marinov, D, Frias, MF |
| Book Title | International Conference on Tests and Proofs TAP 2012 |
| Volume | 7305 |
| Series Volume | Lecture Notes in Computer Science |
| Pagination | 19 - 34 |
| Publisher | Springer |
| ISBN Number | 978-3-642-30472-9 |
| ISBN | 0302-9743 |
| DOI | 10.1007/978-3-642-30473-6_4 |
| Refereed Designation | Refereed |
PDF (Full text):
Work Package:
WP5
