Automatic test factoring for java. - David Saff; Shay Artzi; Jeff H. Perkins; Michael D. Ernst (ASE, 2005)

Using predicate fields in a highly flexible industrial control system. - Shay Artzi; Michael D. Ernst (OOPSLA Companion, 2005)

Combined static and dynamic mutability analysis. - Shay Artzi; Adam Kiezun; David Glasser; Michael D. Ernst (ASE, 2007)

Object and reference immutability using java generics. - Yoav Zibin; Alex Potanin; Mahmood Ali; Shay Artzi; Adam Kiezun; Michael D. Ernst (ESEC/SIGSOFT FSE, 2007)

ReCrash: Making Software Failures Reproducible by Preserving Object States. - Shay Artzi; Sunghun Kim 001; Michael D. Ernst (ECOOP, 2008)

Finding bugs in dynamic web applications. - Shay Artzi; Adam Kiezun; Julian Dolby; Frank Tip; Danny Dig; Amit M. Paradkar; Michael D. Ernst (ISSTA, 2008)

miRNAminer: A tool for homologous microRNA gene search. - Shay Artzi; Adam Kiezun; Noam Shomron (BMC Bioinform., 2008)

ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. - Shay Artzi; Sunghun Kim 001; Michael D. Ernst (ESEC/SIGSOFT FSE, 2009)

Parameter reference immutability: formal definition, inference tool, and comparison. - Shay Artzi; Adam Kiezun; Jaime Quinonez; Michael D. Ernst (Autom. Softw. Eng., 2009)

Dynamically fighting bugs: prevention, detection and elimination. - Shay Artzi (2009)

Practical fault localization for dynamic web applications. - Shay Artzi; Julian Dolby; Frank Tip; Marco Pistoia (ICSE (1), 2010)

Directed test generation for effective fault localization. - Shay Artzi; Julian Dolby; Frank Tip; Marco Pistoia (ISSTA, 2010)

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. - Shay Artzi; Adam Kiezun; Julian Dolby; Frank Tip; Danny Dig; Amit M. Paradkar; Michael D. Ernst (IEEE Trans. Software Eng., 2010)

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. - Vijay Ganesh 001; Adam Kiezun; Shay Artzi; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (CAV, 2011)

A framework for automated testing of javascript web applications. - Shay Artzi; Julian Dolby; Simon Holm Jensen; Anders Møller; Frank Tip (ICSE, 2011)

F4F: taint analysis of framework-based web applications. - Manu Sridharan; Shay Artzi; Marco Pistoia; Salvatore Guarnieri; Omer Tripp; Ryan Berg (OOPSLA, 2011)

Automated repair of HTML generation errors in PHP applications using string constraint solving. - Hesam Samimi; Max Schäfer; Shay Artzi; Todd D. Millstein; Frank Tip; Laurie J. Hendren (ICSE, 2012)

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. - Adam Kiezun; Vijay Ganesh 001; Shay Artzi; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (ACM Trans. Softw. Eng. Methodol., 2012)

Fault Localization for Dynamic Web Applications. - Shay Artzi; Julian Dolby; Frank Tip; Marco Pistoia (IEEE Trans. Software Eng., 2012)

Synonym Expansion for Large Shopping Taxonomies. - Adrian Boteanu; Adam Kiezun; Shay Artzi (AKBC, 2019)

Subjective Search Intent Predictions using Customer Reviews. - Adrian Boteanu; Emily Dutile; Adam Kiezun; Shay Artzi (CHIIR, 2020)