Publications

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.

icst2013.pdf (285.71 KB)