Find More Bugs with QuickCheck!
Paper i 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

Författare

John Hughes

Chalmers, Data- och informationsteknik, Programvaruteknik

Ulf Norell

Göteborgs universitet

Nicholas Smallbone

Chalmers, Data- och informationsteknik, Programvaruteknik

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

71-77

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

DOI

10.1145/2896921.2896928

ISBN

978-1-4503-4151-6