Author:
Burroughs K.,Jain A.,Erickson R.L.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing;ACM Transactions on Software Engineering and Methodology;2024-06-27
2. Validating the correctness of reactive systems specifications through systematic exploration;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23
3. TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
4. Bridging the gap between ML solutions and their business requirements using feature interactions;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
5. Modify, enhance, select: co-evolution of combinatorial models and test plans;Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2018-10-26