Author:
Corbett James C.,Dwyer Matthew B.,Hatcliff John,Roby
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3);Software and Systems Modeling;2021-11-01
2. A corroborative approach to verification and validation of human–robot teams;The International Journal of Robotics Research;2019-11-25
3. Parallel property checking with staged symbolic execution;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
4. Concurrent software testing in practice: a catalog of tools;Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation;2015-08-30
5. Property differencing for incremental checking;Proceedings of the 36th International Conference on Software Engineering;2014-05-31