Type-based optimization for regular patternsLEVIN, Michael Y; PIERCE, Benjamin C.Lecture notes in computer science. 2005, pp 184-198, issn 0302-9743, isbn 3-540-30951-9, 1Vol, 15 p.Conference Paper

SAGE: Whitebox Fuzzing for Security TestingGODEFROID, Patrice; LEVIN, Michael Y; MOLNAR, David et al.Communications of the ACM. 2012, Vol 55, Num 3, pp 40-44, issn 0001-0782, 5 p.Article

Automating Software Testing Using Program AnalysisGODEFROID, Patrice; DE HALLEUX, Peli; NORI, Aditya V et al.IEEE software. 2008, Vol 25, Num 5, pp 30-37, issn 0740-7459, 8 p.Article

Grammar-based Whitebox FuzzingGODEFROID, Patrice; KIEZUN, Adam; LEVIN, Michael Y et al.ACM SIGPLAN notices. 2008, Vol 43, Num 6, pp 206-215, issn 1523-2867, 10 p.Conference Paper

XML goes native : Run-time representations for XTATICGAPEYEV, Vladimir; LEVIN, Michael Y; PIERCE, Benjamin C et al.Lecture notes in computer science. 2005, pp 43-58, issn 0302-9743, isbn 3-540-25411-0, 16 p.Conference Paper