Conformance testing with labelled transition systems: Implementation relations and test generation
J Tretmans - Computer networks and ISDN systems, 1996 - Elsevier
This paper studies testing based on labelled transition systems, presenting two test
generation algorithms with their corresponding implementation relations. The first algorithm …
generation algorithms with their corresponding implementation relations. The first algorithm …
Applications of fair testing
E Brinksma, A Rensink, W Vogler - Formal Description Techniques IX …, 1996 - Springer
In this paper we present the application of the fair testing pre-order introduced in a previous
paper, to the specification and analysis of distributed systems. This pre-order combines …
paper, to the specification and analysis of distributed systems. This pre-order combines …
Predictability of real-time systems: A process-algebraic approach
V Natarajan, R Cleaveland - 17th IEEE Real-Time Systems …, 1996 - ieeexplore.ieee.org
This paper presents a testing-based semantic preorder that relates real-time systems given
in the process description language TPL on the basis of the predictability of their timing …
in the process description language TPL on the basis of the predictability of their timing …
E. Brinksma Department of Computer Science, University of Twente Postbus 217, NL-7500 AE Enschede, brinksma@ cs. utwente. nl
A Rensink, W Vogler - Formal Description Techniques IX: Theory …, 1996 - books.google.com
In this paper we present the application of the fair testing pre-order, introduced in a previous
paper, to the specification and analysis of distributed systems. This pre-order combines …
paper, to the specification and analysis of distributed systems. This pre-order combines …
Applications of Fair Testing
R Gotzhein, H Brinksma, J Bredereke… - … and Verification XVI …, 1996 - research.utwente.nl
In this paper we present the application of the fair testing pre-order, introduced in a previous
paper, to the specification and analysis of distributed systems. This pre-order combines …
paper, to the specification and analysis of distributed systems. This pre-order combines …
[PDF][PDF] On Full Abstractness for Fair Testing
V Natarajan, R Cleaveland - 1996 - Citeseer
Fair-testing preorders were introduced in 13, 3] in order to overcome di culties that traditional
testing/failures preorders have in tackling divergent behavior. This paper establishes the …
testing/failures preorders have in tackling divergent behavior. This paper establishes the …