Zheng, G., Nguye, T., Brida, S. G., Regis, G., Frias, M. F., Aguirre, N., & Bagheri, H. (2021). FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE: International Conference on Software Engineering, 637. https://doi.org/10.1109/ICSE43902.2021.00065
Chicago Style (17th ed.) CitationZheng, Guolong, ThanhVu Nguye, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri. "FLACK: Counterexample-Guided Fault Localization for Alloy Models." ICSE: International Conference on Software Engineering 2021: 637. https://doi.org/10.1109/ICSE43902.2021.00065.
MLA (9th ed.) CitationZheng, Guolong, et al. "FLACK: Counterexample-Guided Fault Localization for Alloy Models." ICSE: International Conference on Software Engineering, 2021, p. 637, https://doi.org/10.1109/ICSE43902.2021.00065.