Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. Phalippou, M.: Relations d’Implantation et Hypothèses de Test sur des Automates à Entrées et Sorties. PhD thesis, L’Université de Bordeaux I, France (1994)
2. Jard, C., Jéron, T.: TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems. Software Tools for Technology Transfer 7(4), 297–315 (2005)
3. Hartman, A., Nagin, K.: The AGEDIS Tools for Model Based Testing. In: Int. Symposium on Software Testing and Analysis – ISSTA 2004, pp. 129–132. ACM Press, New York (2004)
4. He, J., Turner, K.: Protocol-Inspired Hardware Testing. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Int. Workshop on Testing of Communicating Systems 12, pp. 131–147. Kluwer Academic Publishers, Dordrecht (1999)
5. Tretmans, J., Brinksma, E.: TorX: Automated Model Based Testing. In: Hartman, A., Dussa-Zieger, K. (eds.) First European Conference on Model-Driven Software Engineering, Imbuss, Möhrendorf, Germany, p. 13 (2003)
Cited by
248 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model independent refusal trace testing;Science of Computer Programming;2025-01
2. Unifying frameworks for complete test strategies;Science of Computer Programming;2024-10
3. Bug Localisation in Model-Based Testing using Model-Centric Shrinking;Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques;2024-09-13
4. ProInspector: Uncovering Logical Bugs in Protocol Implementations;2024 IEEE 9th European Symposium on Security and Privacy (EuroS&P);2024-07-08
5. Language-Based Testing for Pushdown Reactive Systems;Lecture Notes in Computer Science;2023-12-02