Adam Kieżun's PAG publications

This is a list of Adam Kieżun's PAG-related publications.
For a full list, see http://people.csail.mit.edu/akiezun/research.html.

Also see all PAG authors, all PAG publications by date, all PAG publications by topic.

Copyright notice.


“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.

“HAMPI: A solver for string constraints”
by Adam Kieżun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, and Michael D. Ernst.
In ISSTA 2009, Proceedings of the 2009 International Symposium on Software Testing and Analysis, (Chicago, IL, USA), July 21-23, 2009.
Details. Download: PDF, HAMPI implementation.
A previous version appeared as MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2009-004, (Cambridge, MA), February 4, 2009.

“Automatic creation of SQL injection and cross-site scripting attacks”
by Adam Kieżun, Philip J. Guo, Karthick Jayaraman, and Michael D. Ernst.
In ICSE'09, Proceedings of the 31st International Conference on Software Engineering, (Vancouver, BC, Canada), May 20-22, 2009.
Details. Download: PDF, Experimental data.
A previous version appeared as MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2008-054, (Cambridge, MA), September 10, 2008.

“Grammar-based whitebox fuzzing”
by Patrice Godefroid, Adam Kieżun, and Michael Y. Levin.
In PLDI 2008, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, (Tucson, AZ, USA), June 9-11, 2008, pp. 206-215.
Details. Download: PDF.

“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 tool demonstration appeared as “Enforcing reference and object immutability in Java” by Mahmood Ali, Yoav Zibin, Matthew M. Papi, and Michael D. Ernst. In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2008), (Nashville, TN, USA), October 21-23, 2008.
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.

“Refactoring for parameterizing Java classes”
by Adam Kieżun, Michael D. Ernst, Frank Tip, and Robert M. Fuhrer.
In ICSE'07, Proceedings of the 29th International Conference on Software Engineering, (Minneapolis, MN, USA), May 23-25, 2007, pp. 437-446.
Details. Download: PDF.
A previous version appeared as MIT Computer Science and Artificial Intelligence Laboratory technical report MIT-CSAIL-TR-2006-061, (Cambridge, MA), September 5, 2006.

“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.

“Efficiently refactoring Java applications to use generic libraries”
by Robert Fuhrer, Frank Tip, Adam Kieżun, Julian Dolby, and Markus Keller.
In ECOOP 2005 — Object-Oriented Programming, 19th European Conference, (Glasgow, Scotland), July 27-29, 2005, pp. 71-96.
Details. Download: PDF.
A previous version appeared as “Refactoring techniques for migrating applications to generic Java container classes” by Frank Tip, Robert Fuhrer, Julian Dolby, and Adam Kieżun, IBM T.J. Watson Research Center IBM Research Report RC 23238, (Yorktown Heights, NY, USA). June 2, 2004.

“Converting Java programs to use generic libraries”
by Alan Donovan, Adam Kieżun, Matthew S. Tschantz, and Michael D. Ernst.
In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), (Vancouver, BC, Canada), October 26-28, 2004, pp. 15-34.
Details. Download: PDF, PostScript, slides (PDF).
A previous version appeared as MIT Laboratory for Computer Science technical report MIT-LCS-TR-940, (Cambridge, MA), March 30, 2004.

“Refactoring for generalization using type constraints”
by Frank Tip, Adam Kieżun, and Dirk Bäumer.
In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2003), (Anaheim, CA, USA), November 6-8, 2003, pp. 13-26.
Details. Download: PDF.


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