Author:
Balasubramanian Daniel,Păsăreanu Corina S.,Whalen Michael W.,Karsai Gábor,Lowry Michael
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatically generating test cases for safety-critical software via symbolic execution;Journal of Systems and Software;2023-05
2. Automated Test Case Generation for Safety-Critical Software in Scade;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05
3. mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines;2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE);2019-11
4. Concolic testing for models of state-based systems;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. A synergistic approach to improving symbolic execution using test ranges;Innovations in Systems and Software Engineering;2019-04-09