Answers are grounded in this paper and cite their sources.
We present an unbiased method for measuring the relative quality of different solutions to a programming problem. Our method is based on identifying possible bugs from program behaviour through black-box testing. The main motivation for such a method is its use in experimental evaluation of software development methods. We report on the use of our method in a small-scale such experiment, which was aimed at evaluating the effectiveness of property-based testing vs. unit testing in software development.
No takes yet. Share an insight, caveat, or question.
Claessen et al. (2010) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: