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
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating Reduced Tests for FSMs with Extra States
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Checking experiments for stream X-machines
Theoretical Computer Science
On reducing test length for FSMs with extra states
Software Testing, Verification & Reliability
Hi-index | 0.00 |