Compositional maymust program analysis: unleashing the power of alternation (2010)

by P Godefroid, A V Nori, S K Rajamani, S D Tetali
Venue:In Proceedings of POPL