Michael Y. Levin

	2012
15		Patrice Godefroid, Michael Y. Levin, David A. Molnar: SAGE: Whitebox Fuzzing for Security Testing. ACM Queue 10(1): 20 (2012)
14		Patrice Godefroid, Michael Y. Levin, David A. Molnar: SAGE: whitebox fuzzing for security testing. Commun. ACM 55(3): 40-44 (2012)
	2009
13		Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin: Precise pointer reasoning for dynamic test generation. ISSTA 2009: 129-140
	2008
12		Patrice Godefroid, Michael Y. Levin, David A. Molnar: Active property checking. EMSOFT 2008: 207-216
11		Patrice Godefroid, Michael Y. Levin, David A. Molnar: Automated Whitebox Fuzz Testing. NDSS 2008
10		Patrice Godefroid, Adam Kiezun, Michael Y. Levin: Grammar-based whitebox fuzzing. PLDI 2008: 206-215
9		Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)
	2006
8		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XTATIC. PLAN-X 2006: 88
	2005
7		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt: XML Goes Native: Run-Time Representations for Xtatic. CC 2005: 43-58
6		Michael Y. Levin, Benjamin C. Pierce: Type-Based Optimization for Regular Patterns. DBPL 2005: 184-198
	2003
5		Michael Y. Levin: Compiling regular patterns. ICFP 2003: 65-77
4		Michael Y. Levin, Benjamin C. Pierce: TinkerType: a language for playing with formal systems. J. Funct. Program. 13(2): 295-316 (2003)
3		Michael Y. Levin: Compiling regular patterns. SIGPLAN Notices 38(9): 65-77 (2003)
	2002
2		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce: Recursive subtyping revealed. J. Funct. Program. 12(6): 511-548 (2002)
	2000
1		Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce: Recursive subtyping revealed: functional pearl. ICFP 2000: 221-231

Coauthor Index

1	Bassem Elkarablieh	[13]
2	Vladimir Gapeyev	[1] [2] [7] [8]
3	Patrice Godefroid	[9] [10] [11] [12] [13] [14] [15]
4	Jonathan de Halleux	[9]
5	Adam Kiezun	[10]
6	David A. Molnar	[11] [12] [14] [15]
7	Aditya V. Nori	[9]
8	Benjamin C. Pierce	[1] [2] [4] [6] [7] [8]
9	Sriram K. Rajamani	[9]
10	Alan Schmitt	[7] [8]
11	Wolfram Schulte	[9]
12	Nikolai Tillmann	[9]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page