Travelled to:1 × Russia
1 × Switzerland
1 × USA
Collaborated with:C.Cadar P.Hosek
Talks about:test (4) softwar (2) coverag (2) framework (1) regress (1) analysi (1) symbol (1) improv (1) execut (1) evolut (1)
Person: Paul Dan Marinescu
DBLP: Marinescu:Paul_Dan
Contributed to:
2014
2013
2012Wrote 3 papers:
- ISSTA-2014-MarinescuHC #analysis #evolution #framework #named
- Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.
- ESEC-FSE-2013-MarinescuC #named #testing
- KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
- ICSE-2012-MarinescuC #execution #symbolic computation #testing
- make test-zesti: A symbolic execution solution for improving regression testing (PDM, CC), pp. 716–726.