Over-approximation

[Google Scholar]


  • Compositional may-must program analysis: Unleashing the power of alternation [godefroid:popl:2010]