Shay Artzi

	2012
16		Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Fault Localization for Dynamic Web Applications. IEEE Trans. Software Eng. 38(2): 314-335 (2012)
	2011
15		Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst: HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. CAV 2011: 1-19
14		Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip: A framework for automated testing of javascript web applications. ICSE 2011: 571-580
13		Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg: F4F: taint analysis of framework-based web applications. OOPSLA 2011: 1053-1068
	2010
12		Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Practical fault localization for dynamic web applications. ICSE (1) 2010: 265-274
11		Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Directed test generation for effective fault localization. ISSTA 2010: 49-60
10		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. IEEE Trans. Software Eng. 36(4): 474-494 (2010)
	2009
9		Shay Artzi, Sunghun Kim, Michael D. Ernst: ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. ESEC/SIGSOFT FSE 2009: 295-296
8		Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst: Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16(1): 145-192 (2009)
	2008
7		Shay Artzi, Sunghun Kim, Michael D. Ernst: ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP 2008: 542-565
6		Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst: Finding bugs in dynamic web applications. ISSTA 2008: 261-272
5		Shay Artzi, Adam Kiezun, Noam Shomron: miRNAminer: A tool for homologous microRNA gene search. BMC Bioinformatics 9: (2008)
	2007
4		Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst: Combined static and dynamic mutability analysis. ASE 2007: 104-113
3		Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst: Object and reference immutability using java generics. ESEC/SIGSOFT FSE 2007: 75-84
	2005
2		David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst: Automatic test factoring for java. ASE 2005: 114-123
1		Shay Artzi, Michael D. Ernst: Using predicate fields in a highly flexible industrial control system. OOPSLA Companion 2005: 319-330

Coauthor Index

1	Mahmood Ali	[3]
2	Ryan Berg	[13]
3	Danny Dig	[6] [10]
4	Julian Dolby	[6] [10] [11] [12] [14] [16]
5	Michael D. Ernst	[1] [2] [3] [4] [6] [7] [8] [9] [10] [15]
6	Vijay Ganesh	[15]
7	David Glasser	[4]
8	Salvatore Guarnieri	[13]
9	Philip J. Guo	[15]
10	Pieter Hooimeijer	[15]
11	Simon Holm Jensen	[14]
12	Adam Kiezun	[3] [4] [5] [6] [8] [10] [15]
13	Sunghun Kim	[7] [9]
14	Anders Møller	[14]
15	Amit M. Paradkar	[6] [10]
16	Jeff H. Perkins	[2]
17	Marco Pistoia	[11] [12] [13] [16]
18	Alex Potanin	[3]
19	Jaime Quinonez	[8]
20	David Saff	[2]
21	Noam Shomron	[5]
22	Manu Sridharan	[13]
23	Frank Tip	[6] [10] [11] [12] [14] [16]
24	Omer Tripp	[13]
25	Yoav Zibin	[3]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page