Test Derivation from Non-Deterministic Finite State Machines

Authors:
Hans Kloosterman
Affiliations:
-
Venue:
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Year:
1992

Citing 0
Cited 4

Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering
Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines

IEEE Transactions on Software Engineering
Conformance tests as checking experiments for partial nondeterministic FSM

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Testing nondeterministic finite state machines with respect to the separability relation

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract