Find More Bugs with QuickCheck!
Paper in proceeding, 2016

Random testing is increasingly popular and successful, but tends to spend most time rediscovering the ``most probable bugs'' again and again, reducing the value of long test runs on buggy software. We present a new automated method to adapt random test case generation so that already-discovered bugs are avoided, and further test effort can be devoted to searching for new bugs instead. We evaluate our method primarily against RANDOOP-style testing, in three different settings our method avoids rediscovering bugs more successfully than RANDOOP and in some cases finds bugs that RANDOOP did not find at all.

Random testing

Avoiding bugs

Bug slippage


John Hughes

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

Ulf Norell

University of Gothenburg

Nicholas Smallbone

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

11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016)

978-1-4503-4151-6 (ISBN)

Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering





More information