Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Pablo Abad  [Clear All Filters]
2013
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)