A Tool Which Mines Partial Execution Traces to Improve Static Analysis.

Gianluca Amato, Maurizio Parton, Francesca Scozzari

Browse the full RV paper archive.