Author:
Artho Cyrille Valentin,Biere Armin,Hagiya Masami,Platon Eric,Seidl Martina,Tanabe Yoshinori,Yamamoto Mitsuharu
Publisher
Springer International Publishing
Reference32 articles.
1. Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)
2. Lecture Notes in Computer Science;C. Artho,2009
3. Lecture Notes in Computer Science;C. Artho,2013
4. Artho, C., Hagiya, M., Potter, R., Tanabe, Y., Weitl, F., Yamamoto, M.: Software model checking for distributed systems with selector-based, non-blocking communication. In: Proc. 28th Int. Conf. on Automated Software Engineering (ASE 2013), Palo Alto, USA. IEEE Computer Society (to be published, 2013)
5. Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y.: Efficient model checking of networked application. In: Paige, R.F., Meyer, B. (ed.) TOOLS EUROPE 2008. LNBIP, vol. 11, pp. 22–40. Springer, Heidelberg (1974)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Evaluation of IoT self-healing mechanisms using fault-injection in message brokers;Proceedings of the 4th International Workshop on Software Engineering Research and Practice for the IoT;2022-05-19
2. Model-based testing in practice: An experience report from the web applications domain;Journal of Systems and Software;2021-10
3. Enabledness-based Testing of Object Protocols;ACM Transactions on Software Engineering and Methodology;2021-04-30
4. A taxonomy for classifying runtime verification tools;International Journal on Software Tools for Technology Transfer;2021-04
5. TestMC;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21