Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
EXPERIMENTAL EVALUATION OF FSM-BASED TESTING METHODS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
| Hi-index | 0.00 |