Travelled to:
1 × Luxembourg
Collaborated with:
P.Abad N.Aguirre V.S.Bengolea M.F.Frias J.P.Galeotti T.S.E.Maibaum M.M.Moscato N.Rosner I.Vissani
Talks about:
increment (1) contract (1) generat (1) improv (1) under (1) tight (1) bound (1) test (1) solv (1) rich (1)
Person: Daniel Ciolek
DBLP: Ciolek:Daniel
Contributed to:
Wrote 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.