Shay Artzi

According to our database, Shay Artzi authored at least 21 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Subjective Search Intent Predictions using Customer Reviews.

Adrian Boteanu, Emily Dutile, Adam Kiezun, Shay Artzi

Proceedings of the CHIIR '20: Conference on Human Information Interaction and Retrieval, 2020

2019

Synonym Expansion for Large Shopping Taxonomies.

Adrian Boteanu, Adam Kiezun, Shay Artzi

Proceedings of the 1st Conference on Automated Knowledge Base Construction, 2019

2012

Fault Localization for Dynamic Web Applications.

Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia

IEEE Trans. Software Eng., 2012

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.

Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

ACM Trans. Softw. Eng. Methodol., 2012

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

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

F4F: taint analysis of framework-based web applications.

Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

A framework for automated testing of javascript web applications.

Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip

Proceedings of the 33rd International Conference on Software Engineering, 2011

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.

Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

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

Directed test generation for effective fault localization.

Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Practical fault localization for dynamic web applications.

Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Dynamically fighting bugs: prevention, detection and elimination.

Shay Artzi

PhD thesis, 2009

Parameter reference immutability: formal definition, inference tool, and comparison.

Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst

Autom. Softw. Eng., 2009

ReCrashJ: a tool for capturing and reproducing program crashes in deployed applications.

Shay Artzi, Sunghun Kim, Michael D. Ernst

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2008

miRNAminer: A tool for homologous microRNA gene search.

Shay Artzi, Adam Kiezun, Noam Shomron

BMC Bioinform., 2008

Finding bugs in dynamic web applications.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

ReCrash: Making Software Failures Reproducible by Preserving Object States.

Shay Artzi, Sunghun Kim, Michael D. Ernst

Proceedings of the ECOOP 2008, 2008

2007

Object and reference immutability using java generics.

Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Combined static and dynamic mutability analysis.

Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2005

Using predicate fields in a highly flexible industrial control system.

Shay Artzi, Michael D. Ernst

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Automatic test factoring for java.

David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005