FLACK: Counterexample-Guided Fault Localization for Alloy Models.
Saved in:
| Title: | FLACK: Counterexample-Guided Fault Localization for Alloy Models. |
|---|---|
| Authors: | Guolong Zheng1, gzheng@cse.unl.edu, ThanhVu Nguye1, nguyeng@cse.unl.edu, Brida, Simón Gutiérrez2, sgutierrez@dc.exa.unrc.edu.ar, Regis, Germán2, gregis@dc.exa.unrc.edu.ar, Frias, Marcelo F.3, mfrias@itba.edu.ar, Aguirre, Nazareno2, naguirreg@dc.exa.unrc.edu.ar, Bagheri, Hamid1, bagheri@unl.edu |
| Source: | ICSE: International Conference on Software Engineering; 5/22/2021, p637-648, 12p |
| Database: | Applied Science & Technology Source |
| DOI: | 10.1109/ICSE43902.2021.00065 |
|---|
