Modular verification of code with sat (2006)

by G Dennis, F S-H Chang, D Jackson
Venue:In ISSTA ’06: Proceedings of the 2006 international symposium on Software testing and analysis