Automatically Refining Abstract Interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Browse the full TACAS paper archive.