Coordination Algorithm for Distributed Testing
The Journal of Supercomputing
Active Objects for Coordination in Distributed Testing
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
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
Automatic test selection based on CEFSM specifications
Acta Cybernetica
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Test sequence generation for controller verification and test with high coverage
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Fault coverage of Constrained Random Test Selection for access control: A formal analysis
Journal of Systems and Software
Information and Software Technology
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Timing fault models for systems with multiple timers
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Testing in context: framework and test derivation
Computer Communications
Hi-index | 0.00 |