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
IEEE Transactions on Software Engineering
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
Model-based Security Testing Using UMLsec
Electronic Notes in Theoretical Computer Science (ENTCS)
Fault diagnosis in extended finite state machines
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Techniques for abstracting SDL specifications
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Testing in context: framework and test derivation
Computer Communications
Hi-index | 0.00 |