Papers related to Under-approximation
- Issues in deploying software defect detection tools [cok:bugs:2005]
- The soundness of bugs is what matters (position statement) [godefroid:bugs:2005]
- Compositional may-must program analysis: Unleashing the power of alternation [godefroid:popl:2010]
- Incorrectness logic [ohearn:popl:2019]
- Soundness and its role in bug detection systems [xie:bugs:2005]
- Covering all the bases: Type-based verification of test input generators [zhou:pldi:2023]