Clermont, Markus; Parnas, David Lorge
(IEEE Computer Society, 2005)
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal program bugs. Our approach assumes that so-called ...