Why Programs Fail: A Guide to Systematic Debugging is proof that debugging has
graduated from a black art to a systematic discipline. It demystifies one of the toughest …

Context: Agent-based models play an important role in simulating complex emergent
phenomena and supporting critical decisions. In this context, a software fault may result in …

Procedure specifications are useful in many software development tasks. As one example,
in automatic test case generation they can guide testing, act as test oracles able to reveal …

Informal natural language that describes code functionality, such as code comments or
function documentation, may contain substantial information about a program's intent …

Formal program specifications are essential for various software engineering tasks, such as
program verification, program synthesis, code debugging and software testing. However …

Advances in recent years have made it possible in some cases to locate a bug (the source of
a failure) automatically. But debugging is also about correcting bugs. Can tools do this …

Expressing class specifications via executable constraints is important for various software
engineering tasks such as test generation, bug finding and automated debugging, but …

Automatic unit test generation that explores the input space and produces effective test
cases for given programs have been studied for decades. Many unit test generation tools …

It is very hard to fix a software failure without being able to reproduce it. However,
reproducing a failure is often difficult and time-consuming. This paper proposes a novel …

Software crash reproduction is the necessary first step for debugging. Unfortunately, crash
reproduction is often labor intensive. To automate crash reproduction, many techniques …