JTACO: Test Execution for Faster Bounded Verification
| Title | JTACO: Test Execution for Faster Bounded Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Kampmann, A, Galeotti, JP, Zeller, A |
| Conference Name | TAP 2014: Proceedings of the 8th International Conference on Tests and Proofs |
| Publisher | Springer |
| ISBN Number | 978-3-319-09098-6 |
| DOI | 10.1007/978-3-319-09099-3_10 |
PDF (Full text):
Work Package:
WP2
