1 Hit in 4.4 sec

FLACK: Counterexample-Guided Fault Localization for Alloy Models [article]

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
2021 arXiv   pre-print
In this work, we introduce a fault localization approach for models written in a declarative language, where the models are not "executed," but rather converted into a logical formula and solved using  ...  Most existing fault localization techniques are designed for imperative programs (e.g., C and Java) and rely on analyzing correct and incorrect executions of the program to identify suspicious statements  ...  ACKNOWLEDGMENT We thank the anonymous reviewers for helpful comments.  ... 
arXiv:2102.10152v1 fatcat:3wdloyliojaczdb6gftw5hhvgu