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
A framework for conformance testing of systems communicating through rendezvous
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Optimizing the Length of Checking Sequences
IEEE Transactions on Computers
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distinguing Non-deterministic Timed Finite State Machines
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
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
Testing from X-machine specifications
Formal methods and testing
Checking experiments for stream X-machines
Theoretical Computer Science
An improved conformance testing method
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
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
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods
Information and Software Technology
Hi-index | 0.00 |