Compositional may-must program analysis: unleashing the power of alternation.

Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali

Browse the full POPL paper archive.