no code implementations • 15 Nov 2016 • Ning Ge, Marc Pantel, Xavier Crégut
Automated fault localization is an important issue in model validation and verification.
Fault localization