Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Diagnostic Tests for Communicating Nondeterministic Finite State Machines
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
Hi-index | 0.01 |