IEEE Transactions on Software Engineering
Generation of Adaptive Test Cases from Nondeterministic Finite State Models
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
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
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
Minimizing the number of inputs while applying adaptive test cases
Information Processing Letters
Issues in using model checkers for test case generation
Journal of Systems and Software
Hi-index | 0.89 |