Test Frameworks for Elusive Bug Testing

Abstract

Elusive bugs can be particularly expensive because they often survive testing and are released in a deployed system. They are characterized as involving a combination of properties. One approach to their detection is bounded exhaustive testing (BET). This paper describes how to implement BET using a variation of JUnit, called BETUnit. The idea of a BET… (More)

Topics

2 Figures and Tables

Slides referencing similar topics