Shay Artzi

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 2

Top Venues

AKBC

ACM Trans. Softw. Eng. Methodol.

CHIIR

IEEE Trans. Software Eng.

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Adrian Boteanu, Emily Dutile, Adam Kiezun, Shay Artzi
Subjective Search Intent Predictions using Customer Reviews. CHIIR (2020)
Adrian Boteanu, Adam Kiezun, Shay Artzi
Synonym Expansion for Large Shopping Taxonomies. AKBC (2019)
Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. ACM Trans. Softw. Eng. Methodol. 21 (4) (2012)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Fault Localization for Dynamic Web Applications. IEEE Trans. Software Eng. 38 (2) (2012)
Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren
Automated repair of HTML generation errors in PHP applications using string constraint solving. ICSE (2012)
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)
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip
A framework for automated testing of javascript web applications. ICSE (2011)
Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg
F4F: taint analysis of framework-based web applications. OOPSLA (2011)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Directed test generation for effective fault localization. ISSTA (2010)
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) (2010)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
Practical fault localization for dynamic web applications. ICSE (1) (2010)
Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst
Parameter reference immutability: formal definition, inference tool, and comparison. Autom. Softw. Eng. 16 (1) (2009)
Shay Artzi, Sunghun Kim, Michael D. Ernst
ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications. ESEC/SIGSOFT FSE (2009)
Shay Artzi, Sunghun Kim, Michael D. Ernst
ReCrash: Making Software Failures Reproducible by Preserving Object States. ECOOP (2008)
Shay Artzi, Adam Kiezun, Noam Shomron
miRNAminer: A tool for homologous microRNA gene search. BMC Bioinform. 9 (2008)
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
Finding bugs in dynamic web applications. ISSTA (2008)
Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst
Object and reference immutability using java generics. ESEC/SIGSOFT FSE (2007)
Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst
Combined static and dynamic mutability analysis. ASE (2007)
Shay Artzi, Michael D. Ernst
Using predicate fields in a highly flexible industrial control system. OOPSLA Companion (2005)
David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst
Automatic test factoring for java. ASE (2005)

Shay Artzi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shay Artzi