Search Results for author: Xavier Crégut

Found 1 papers, 0 papers with code

Probabilistic Failure Analysis in Model Validation & Verification

no code implementations15 Nov 2016 Ning Ge, Marc Pantel, Xavier Crégut

Automated fault localization is an important issue in model validation and verification.

Fault localization

Cannot find the paper you are looking for? You can Submit a new open access paper.