7 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
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…