Author:
Gazda Maciej,Hierons Robert M
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference25 articles.
1. Using formal specifications to support testing;Hierons;ACM Comput. Surv.,2009
2. Model-based quality assurance of protocol documentation: tools and methodology;Grieskamp;J. Software Test. Verif. Reliab.,2011
3. Testing can be formal too;Gaudel,1995
4. Gedanken-experiments;Moore,1956
5. The linear time-branching time spectrum I. The semantics of concrete, sequential processes;Glabbeek,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model independent refusal trace testing;Science of Computer Programming;2025-01