Author:
Lei Yu,Carver Richard H.,Kacker Raghu,Kung David
Subject
Safety, Risk, Reliability and Quality,Software
Reference42 articles.
1. Testing of concurrent software. Proceedings of the 13th Annual International Computer Software and Applications Conference (COMPSAC), 1989; 62–64.
2. Context-sensitive synchronization-sensitive analysis is undecidable
3. . A general model for reachability testing of concurrent programs. Proceedings of International Conference on Formal Engineering Methods, 2004; 76–98.
4. REACHABILITY TESTING: AN APPROACH TO TESTING CONCURRENT SOFTWARE
5. Reachability testing of concurrent programs
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Effective Covering Array Generation Using an Improved Particle Swarm Optimization;IEEE Transactions on Reliability;2021
2. Evaluating software testing techniques: A systematic mapping study;Advances in Computers;2021
3. Flexible Combinatorial Interaction Testing;IEEE Transactions on Software Engineering;2020
4. CHiP: A Configurable Hybrid Parallel Covering Array Constructor;IEEE Transactions on Software Engineering;2019-12-01
5. Towards more efficient meta-heuristic algorithms for combinatorial test generation;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12