Compositional may-must program analysis: Unleashing the power of alternation. (2010)

by P Godefroid, A V Nori, S K Rajamani, S D Tetali
Venue:In Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’10,