Travelled to:1 × Luxembourg
Collaborated with:P.Abad N.Aguirre V.S.Bengolea D.Ciolek M.F.Frias J.P.Galeotti T.S.E.Maibaum M.M.Moscato N.Rosner
Talks about:increment (1) contract (1) generat (1) improv (1) under (1) tight (1) bound (1) test (1) solv (1) rich (1)
Person: Ignacio Vissani
DBLP: Vissani:Ignacio
Contributed to:
2013Wrote 1 papers:
- ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
- Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.