Travelled to:1 × China
1 × India
1 × Italy
1 × Switzerland
1 × USA
Collaborated with:A.Carzaniga M.Pezzè A.Gorla N.Perino A.Goffi P.Tonella
Talks about:softwar (2) redund (2) techniqu (1) synthesi (1) recoveri (1) sequenc (1) intrins (1) equival (1) automat (1) search (1)
Person: Andrea Mattavelli
DBLP: Mattavelli:Andrea
Contributed to:
2015
2014201420132012Wrote 5 papers:
- ICSE-v1-2015-CarzanigaMP
- Measuring Software Redundancy (AC, AM, MP), pp. 156–166.
- 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-CarzanigaGMPP #automation #runtime
- Automatic recovery from runtime failures (AC, AG, AM, NP, MP), pp. 782–791.
- ICSE-2012-CarzanigaGMP #java #self
- A self-healing technique for Java applications (AC, AG, AM, NP), pp. 1445–1446.