This is a list of Shay Artzi's PAG-related publications.
Also see all PAG authors, all PAG publications by date, all PAG publications by topic.
“Finding bugs in web applications using dynamic test generation and explicit state model checking”
by Shay Artzi, Adam Kieżun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, and Michael D. Ernst.
IEEE Transactions on Software Engineering, vol. 36, no. 4, July/August 2010, pp. 474-494.
Details.
Download:
PDF.
A previous version appeared as
“Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking”
by Shay Artzi, Adam Kieżun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2009-010, (Cambridge, MA), March 26, 2009.
A previous version appeared as
“Finding bugs in dynamic web applications”
by Shay Artzi, Adam Kieżun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, and Michael D. Ernst.
In ISSTA 2008, Proceedings of the 2008 International Symposium on Software Testing and Analysis, (Seattle, WA, USA), July 22-24, 2008, pp. 261-272.
A previous version appeared as
“Finding bugs in dynamic web applications”
by Shay Artzi, Adam Kieżun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, and Michael D. Ernst.
IBM T.J. Watson Research Center technical report RC24528, (Hawthorne, NY), April 2, 2008.
A previous version appeared as
“Finding bugs in dynamic web applications”
by Shay Artzi, Adam Kieżun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2008-006, (Cambridge, MA), February 6, 2008.
“A formal definition and evaluation of parameter immutability”
by Shay Artzi, Jaime Quinonez, Adam Kieżun, and Michael D. Ernst.
Automated Software Engineering, vol. 16, no. 1, 2009, pp. 145-192.
Details.
Download:
PDF.
A previous version appeared as
“Combined static and dynamic mutability analysis”
by Shay Artzi, Adam Kieżun, David Glasser, and Michael D. Ernst.
In ASE 2007: Proceedings of the 22nd Annual International Conference on Automated Software Engineering, (Atlanta, GA, USA), November 7-9, 2007, pp. 104-113.
A previous version appeared as
“Combined static and dynamic mutability analysis”
by Shay Artzi, Adam Kieżun, David Glasser, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2007-020, (Cambridge, MA), March 23, 2007.
A previous version appeared as
“Combined static and dynamic mutability analysis”
by Shay Artzi, Michael D. Ernst, David Glasser, and Adam Kieżun.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2006-065, (Cambridge, MA), September 18, 2006.
“ReCrash: Making software failures reproducible by preserving object states”
by Shay Artzi, Sunghun Kim, and Michael D. Ernst.
In ECOOP 2008 — Object-Oriented Programming, 22nd European Conference, (Paphos, Cyprus), July 9-11, 2008, pp. 542-565.
Details.
Download:
PDF,
PostScript,
ReCrash implementation.
A previous version appeared as
“ReCrash: Making crashes reproducible”
by Sunghun Kim, Shay Artzi, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2007-054, (Cambridge, MA), November 20, 2007.
“Object and reference immutability using Java generics”
by Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kieżun, and Michael D. Ernst.
In ESEC/FSE 2007: Proceedings of the 11th European Software Engineering Conference and the 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering, (Dubrovnik, Croatia), September 5-7, 2007, pp. 75-84.
Details.
Download:
PDF,
PostScript,
IGJ implementation.
A previous version appeared as
“Object and reference immutability using Java generics”
by Yoav Zibin, Alex Potanin, Shay Artzi, Adam Kieżun, and Michael D. Ernst.
MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2007-018, (Cambridge, MA), March 16, 2007.
“Finding the needles in the haystack: Generating legal test inputs for object-oriented programs”
by Shay Artzi, Michael D. Ernst, Adam Kieżun, Carlos Pacheco, and Jeff H. Perkins.
In M-TOOS 2006: 1st Workshop on Model-Based Testing and Object-Oriented Systems, (Portland, OR, USA), October 23, 2006.
Details.
Download:
PDF,
PostScript.
A previous version appeared as MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2006-056, (Cambridge, MA), September 5, 2006.
“Automatic test factoring for Java”
by David Saff, Shay Artzi, Jeff H. Perkins, and Michael D. Ernst.
In ASE 2005: Proceedings of the 20th Annual International Conference on Automated Software Engineering, (Long Beach, CA, USA), November 9-11, 2005, pp. 114-123.
Details.
Download:
PDF,
PostScript.
A previous version appeared as MIT Laboratory for Computer Science technical report MIT-LCS-TR-991, (Cambridge, MA), June 7, 2005.
“Using predicate fields in a highly flexible industrial control system”
by Shay Artzi and Michael D. Ernst.
In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005), (San Diego, CA, USA), October 18-20, 2005, pp. 319-330.
Details.
Download:
PDF,
PostScript.
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
(This webpage was created with bibtex2web.)
Back to Program Analysis Group authors