Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
| Title | Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Abad, P, Aguirre, N, Bengolea, VS, Ciolek, D, Frias, MF, Galeotti, JP, Maibaum, TSE, Moscato, MM, Rosner, N, Vissani, I |
| Conference Name | IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013 |
| Date Published | 03/2013 |
| Publisher | IEEE Computer Society |
| Conference Location | Luxembourg |
| Refereed Designation | Refereed |
PDF (Full text):
Work Package:
WP5
