BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Martignoni:Lorenzo

Contributed to:

ASPLOS 20122012
ISSTA 20112011
ASE 20102010
ISSTA 20102010
ISSTA 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.