Author:
Wang Kaiyuan,Sullivan Allison,Marinov Darko,Khurshid Sarfraz
Cited by
19 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. A language-parametric test coverage framework for executable domain-specific languages;Journal of Systems and Software;2024-05
3. Forge: A Tool and Language for Teaching Formal Methods;Proceedings of the ACM on Programming Languages;2024-04-29
4. Formal Modeling and Analysis of Apache Kafka in Alloy 6;Lecture Notes in Computer Science;2024
5. Crucible: Graphical Test Cases for Alloy Models;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09