Publications

Export 1 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Pablo Abad  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
P. Abad, et al., “Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving”, in IEEE Sixth International Conference on Software Testing, Verification and Validation ICST 2013, Luxembourg, 2013.PDF icon icst2013.pdf (285.71 KB)