This one-page, position paper talks about three different, competing costs in a tool: soundness (no false negatives); cost; and usability (which relates to false positives). They argue:
- that unsound tools will usually appear before sound tools;
- that sound tools will eventually appear;
- that user-annotations will be used.
This paper is worth reading alongside godefroid:bugs:2005 (from the same workshop) that also discusses soundness but with a completely different interpretation.
Papers related to Soundness and its role in bug detection systems
- The soundness of bugs is what matters (position statement) [godefroid:bugs:2005]