Author:
Artho Cyrille,Hagiya Masami,Potter Richard,Tanabe Yoshinori,Weitl Franz,Yamamoto Mitsuharu
Cited by
15 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. D2ABS: A Framework for Dynamic Dependence Analysis of Distributed Programs;IEEE Transactions on Software Engineering;2021
3. Model-Based Testing for MQTT Applications;Knowledge-Based Software Engineering: 2020;2020
4. Java Pathfinder at SV-COMP 2019 (Competition Contribution);Tools and Algorithms for the Construction and Analysis of Systems;2019
5. A static verification framework for message passing in Go using behavioural types;Proceedings of the 40th International Conference on Software Engineering;2018-05-27