- Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
Automated Feedback Generation for Introductory Programming Assignments
To appear in PLDI 2013
En Garde: Winning Coding Duels Through Genetic Programming
6th International Workshop on Search-Based Software Testing (SBST 2013)
Overapproximating the Cost of Loops
Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Programming Methodology (2013).
Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. [PDF][BibTeX]
In Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), Keynote Paper, Trento, Italy, Pages 1-3, September 2012.
Puzzle-based automatic testing: bringing humans into the loop by solving puzzles
In Proceedings of the ASE 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Are you interested in using Pex4fun for your studies? Or do you have some research ideas that involve mining the >1,000,000 program submissions? Do you have a published paper we can add to our community list? Don’t hesitate to write us at email@example.com.