Too often, programmers are under pressure to maximize their confidence in the correctness
of their code with a tight testing budget. Should they spend some of that budget on finding …

Early studies of random versus partition testing used the probability of detecting at least one
failure as a measure of test effectiveness and indicated that partition testing is not …

Random testing of programs is usually (but not always) viewed as a worst case of program
testing. Test case generation that takes into account the program structure is usually …

Random testing is a software testing technique through which programs are tested by
generating and executing random inputs. Because of its unstructured nature, it is difficult to …

We introduce a new coverage measure, called the operational coverage, which is
customized to the usage profile (count spectrum) of the entities to be covered. Operational …

As test data widely spreading on the input domain may not thoroughly test the program's
logic, in this paper, we propose an approach to generating test data widely spreading on a …

Property-based testing uses randomly generated inputs to validate high-level program
specifications. It can be shockingly effective at finding bugs, but it often requires generating a …

Random testing of programs has usually (but not always) been viewed as a worst case of
program testing. Testing strategies that take into account the program structure are generally …

Given a specification, a partition testing strategy is said to be safe for a program if it is not
less probable of detecting at least one failure than random testing, and universally safe, if it …

Coverage biased random testing of software consists of drawing uniformly at random a large
sample of paths from the control graph of a program, or from traces of its specification or …