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 …

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 …

This paper introduces X-Force, a novel binary analysis engine. Given a potentially malicious
binary executable, X-Force can force the binary to execute requiring no inputs or proper …

In recent years, to maximize the value of software testing and analysis, we have proposed
the methodology of cooperative software testing and analysis (in short as cooperative testing …

Software testing is an essential activity of software development, and oracles are a key pillar
of testing. The increasing size of test suites, the growing availability of test case generators …

Software often crashes despite tremendous effort on software quality assurance. Once
developers receive a crash report, they need to reproduce the crash in order to understand …

Automated debugging techniques aim to help developers locate and understand the cause
of a failure, an extremely challenging yet fundamental task. Most state-of-the-art approaches …

We introduce the concept of residual investigation for program analysis. A residual
investigation is a dynamic check installed as a result of running a static analysis that reports …

In this paper we present Verification-Aided Regression Testing (VART), a novel extension of
regression testing that uses model checking to increase the fault revealing capability of …