Travelled to:1 × China
1 × India
1 × USA
Collaborated with:A.Gorla A.Mattavelli M.Pezzè F.Pastore L.Mariani P.Tonella A.Carzaniga
Talks about:softwar (2) synthesi (1) sequenc (1) regress (1) problem (1) intrins (1) equival (1) search (1) redund (1) method (1)
Person: Alberto Goffi
DBLP: Goffi:Alberto
Contributed to:
2014
20142013Wrote 3 papers:
- FSE-2014-GoffiGMPT #search-based #sequence #synthesis
- Search-based synthesis of equivalent method sequences (AG, AG, AM, MP, PT), pp. 366–376.
- ICSE-2014-CarzanigaGGMP
- Cross-checking oracles from intrinsic software redundancy (AC, AG, AG, AM, MP), pp. 931–942.
- ICSE-2013-PastoreMG #c #c++ #debugging #named #problem
- RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.