![](/img/cover-not-exists.png)
[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - Reusing constraint proofs in program analysis
Aquino, Andrea, Bianchi, Francesco A., Chen, Meixian, Denaro, Giovanni, Pezzè, MauroYear:
2015
Language:
english
DOI:
10.1145/2771783.2771802
File:
PDF, 878 KB
english, 2015