Reusing constraint proofs in program analysis.

Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezz

Browse the full ISSTA paper archive.