Ranking programs using black box testing
Paper in proceedings, 2010

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. Copyright 2010 ACM.

Author

Koen Lindström Claessen

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

John Hughes

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Michal Palka

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Nicholas Smallbone

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Hans Svensson

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Proceedings - International Conference on Software Engineering

02705257 (ISSN)

103-110

Subject Categories

Computer and Information Science

DOI

10.1145/1808266.1808282

ISBN

978-160558970-1

More information

Created

10/6/2017