Shay Artzi

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