Also known as “must-style” reasoning.
Papers related to Over-approximation
- Compositional may-must program analysis: Unleashing the power of alternation [godefroid:popl:2010]
- Covering all the bases: Type-based verification of test input generators [zhou:pldi:2023]