| * | 2009 |
| 9 | EE | 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 | EE | 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 | EE | Shay Artzi,
Sunghun Kim,
Michael D. Ernst:
ReCrash: Making Software Failures Reproducible by Preserving Object States.
ECOOP 2008: 542-565 |
| 6 | EE | 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 | EE | Shay Artzi,
Adam Kiezun,
Noam Shomron:
miRNAminer: A tool for homologous microRNA gene search.
BMC Bioinformatics 9: (2008) |
| 2007 |
| 4 | EE | Shay Artzi,
Adam Kiezun,
David Glasser,
Michael D. Ernst:
Combined static and dynamic mutability analysis.
ASE 2007: 104-113 |
| 3 | EE | 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 | EE | David Saff,
Shay Artzi,
Jeff H. Perkins,
Michael D. Ernst:
Automatic test factoring for java.
ASE 2005: 114-123 |
| 1 | EE | Shay Artzi,
Michael D. Ernst:
Using predicate fields in a highly flexible industrial control system.
OOPSLA Companion 2005: 319-330 |