STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
A specification-based adaptive test case generation strategy for open operating system standards
Proceedings of the 18th international conference on Software engineering
A survey of communication protocol testing
Journal of Systems and Software
On the Design of the New Testing Language TTCN-3
TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
Reliable Fault Diagnosis with Few Tests
Combinatorics, Probability and Computing
Applying adaptive test cases to nondeterministic implementations
Information Processing Letters
Hi-index | 0.89 |