Filters: Author is Daniel Ciolek  [Clear All Filters]
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 iconicst2013.pdf (285.71 KB)
M. Chicote, D. Ciolek, and J. P. Galeotti, “Practical JFSL verification using TACO”, Software: Practice and Experience, 2013.