Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

TitleImproving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
Publication TypeConference Paper
Year of Publication2013
AuthorsAbad, P, Aguirre, N, Bengolea, VS, Ciolek, D, Frias, MF, Galeotti, JP, Maibaum, TSE, Moscato, MM, Rosner, N, Vissani, I
Conference NameIEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013
Date Published03/2013
PublisherIEEE Computer Society
Conference LocationLuxembourg
Refereed DesignationRefereed
PDF (Full text): 
Work Package: 
WP5