Author:
Barlas Elliot,Bultan Tevfik
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model-based testing of networked applications;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11
2. Experience Report: Verifying MPI Java Programs Using Software Model Checking;2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE);2017-10
3. Addressing challenges in obtaining high coverage when model checking Android applications;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13
4. On ordering problems in message passing software;Proceedings of the 15th International Conference on Modularity;2016-03-14
5. Environment Modeling Using Runtime Values for JPF-Android;ACM SIGSOFT Software Engineering Notes;2015-11-11