AlloyFL: a fault localization framework for Alloy-Reference-Cited by-同舟云学术

AlloyFL: a fault localization framework for Alloy

Published:2021-08-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Khan Tanvir Ahmed¹,Sullivan Allison¹^ORCID,Wang Kaiyuan²

Affiliation:

1. University of Texas at Arlington, USA

2. Google, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3468264.3473116

Reference22 articles.

1. Rui Abreu Peter Zoeteweij and Arjan JC Van Gemund. 2009. Spectrum-based multiple fault localization. In ASE. Rui Abreu Peter Zoeteweij and Arjan JC Van Gemund. 2009. Spectrum-based multiple fault localization. In ASE.

2. Alloy analyzer Website. 2019. http://alloytools.org Alloy analyzer Website. 2019. http://alloytools.org

3. Alloy

4. Daniel Jackson. 2017. The Alloyed Joys of Software Engineering Research. http://people.csail.mit.edu/dnj/talks/icse17/icse17-nobuilds.pdf Daniel Jackson. 2017. The Alloyed Joys of Software Engineering Research. http://people.csail.mit.edu/dnj/talks/icse17/icse17-nobuilds.pdf

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Traceback: A Fault Localization Technique for Molecular Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

3. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10