Automated Failure Analysis in Model Checking Based on Data Mining.

Ning Ge, Marc Pantel, Xavier Crgut

Browse the full MEDI paper archive.