Active Objects for Coordination in Distributed Testing
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Overcoming controllability problems with fewest channels between testers
Computer Networks: The International Journal of Computer and Telecommunications Networking
Validating Behavioral Component Interfaces in Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic interoperability test case generation based on formal definitions
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Empirical Software Engineering
Distributed load tests with TTCN-3
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Testing mobile and distributed systems: method and experimentation
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Quiescence management improves interoperability testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Hi-index | 0.00 |