Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè. Reusing constraint proofs in program analysis. In Michal Young, Tao Xie, editors, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. pages 305-315, ACM, 2015. [doi]
Abstract is missing.