Answers are grounded in this paper and cite their sources.
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires minimal information about a failure, namely its kind (e.g. NULL dereference), and its location in the program's source code. It produces a set of execution traces along which the program can be driven to the given failure.
No takes yet. Share an insight, caveat, or question.
Manevich et al. (2004) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: