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