|Final Report of the COST-247 Action|
A Practical Approach to Testing Finite State Systems
D. Larrabeiti, J. Quemada, S. Pavón
|Dept. of Telematic Engineering|
|Technical University of Madrid|
|Tel: +34 1 5495700|
|Fax: +34 1 3367333|
|E-mail: firstname.lastname@example.org , email@example.com , firstname.lastname@example.org|
This paper presents a variation of the testing equivalence that provides an intuitive practical framework to test LOTOS behaviours whose infinite executions can be expressed in terms of successions of cycles. The proposal targets:
This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).
COST-247 Working Group(s): 1
This Page was prepared by Mark Jorgensen.