Probabilistic Failure Analysis in Model Validation & Verification

Ning Ge, Marc Pantel, Xavier Crégut

Automated fault localization is an important issue in model validation and verification. It helps the end users in analyzing the origin of failure. In this work, we show the early…