Comparing developer-provided to user-provided tests for fault localization and automated program repair
Natural language is a programming language: Applying natural language processing to software development
Revised February 2017
Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms
Proposed Final Draft.
Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs
Article No. 3
An empirical comparison of automated generation and classification techniques for object-oriented unit testing
Tutorial at ASE 2005
Revision of first author's Master's thesis
Revised March 17, 2000
Assigned to Microsoft Corporation
ACM SIGPLAN Notices 30(3), March 1995
The idea from this unpublished term paper was written up by Boolos without Ernst's knowledge, to appear as ``Quotational Ambiguity,'' by George Boolos, in On Quine, (Paulo Leonardi, ed.), pp. 283–296, Cambridge University Press, 1995. Boolos called the idea ``Ernst's Paradox'' but refused Ernst's request for coauthorship.
Also published as Texas Instruments Technical Report CSC-SIUL-89-12