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

Patrice Godefroid et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics