CONTEXT: Automated static analysis (ASA) identifies potential source code anomalies early
in the software development lifecycle that could lead to field failures. Excessive alert …

A good test suite is one that detects real faults. Because the set of faults in a program is
usually unknowable, this definition is not useful to practitioners who are creating test suites …

CONTEXT: A lot of different quality assurance techniques exist to ensure high quality
products. However, most often they are applied in isolation. A systematic combination of …

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 …

Despite decades of work by researchers and practitioners on numerous software quality
assurance techniques, testing remains one of the most widely practiced and studied …

Research on software testing produces many innovative automated techniques, but
because software testing is by necessity incomplete and approximate, any new technique …

Mobile developers face unique challenges when detecting and reporting crashes in apps
due to their prevailing GUI event-driven nature and additional sources of inputs (eg, sensor …

Dynamic analysis of software systems produces behavioral models that are useful for
analysis, verification and testing. The main techniques for extracting models of functional …

Black-box web vulnerability scanners are a popular choice for finding security vulnerabilities
in web applications in an automated fashion. These tools operate in a point-and-shoot …

Dynamically discovering likely program invariants from concrete test executions has
emerged as a highly promising software engineering technique. Dynamic invariant …