Generation of Violation Witnesses by Under-Approximating Abstract Interpretation.

Marco Milanese, Antoine Min

Browse the full VMCAI paper archive.