Travelled to:1 × Belgium
1 × Canada
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:R.Paleari G.F.Roglia D.Bruschi S.McCamant D.Song D.Babic A.Fattori M.Monga P.Poosankam P.Maniatis
Talks about:test (5) disassembl (2) system (2) dynam (2) emul (2) differenti (1) transpar (1) virtual (1) version (1) product (1)
Person: Lorenzo Martignoni
DBLP: Martignoni:Lorenzo
Contributed to:
2012
2011
201020102009Wrote 6 papers:
- ASPLOS-2012-MartignoniMPSM #testing
- Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
- ISSTA-2011-BabicMMS #automation #generative #testing
- Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
- ASE-2010-FattoriPMM #analysis
- Dynamic and transparent analysis of commodity production systems (AF, RP, LM, MM), pp. 417–426.
- ISSTA-2010-MartignoniPRB #testing #virtual machine
- Testing system virtual machines (LM, RP, GFR, DB), pp. 171–182.
- ISSTA-2010-PaleariMRB #difference #testing
- N-version disassembly: differential testing of x86 disassemblers (RP, LM, GFR, DB), pp. 265–274.
- ISSTA-2009-MartignoniPRB #cpu #testing
- Testing CPU emulators (LM, RP, GFR, DB), pp. 261–272.