We present a technique that improves random test generation by incorporating feedback
obtained from executing test inputs as they are created. Our technique builds inputs …

In software testing, it is often desirable to find test inputs that exercise specific program
features. To find these inputs by hand is extremely time-consuming, especially when the …

Software can be tested either manually or automatically. The two approaches are
complementary: automated testing can perform a large number of tests in little time, whereas …

Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-
produced test scenarios and is executed on systems as similar as possible to actual mission …

We present a case study in which a team of test engineers at Microsoft applied a feedback-
directed random testing tool to a critical component of the. NET architecture. Due to its …

Random Testing (RT) is a fundamental software testing technique. Adaptive Random
Testing (ART) improves the fault-detection capability of RT by employing the location …

The challenge for testers: reduce the testing interval without reducing quality. One answer:
find a new way to approach test design and test generation. This paper will discuss an …

Test driven development (TDD) is an approach for developing programs incrementally by
first writing tests and then writing enough code to satisfy them. Though there have been …

This paper examines the theoretical and practical role of testing in software development.
We prove a fundamental theorem showing that properly structured tests are capable of …

Testing automation tools enable developers and/or testers to easily automate the entire
process of testing in software development. Nevertheless, adopting automated testing is not …