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
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
New state-recognition patterns for conformance testing of finite state machine implementations
Computer Standards & Interfaces
The complexity of asynchronous model based testing
Theoretical Computer Science
| Hi-index | 0.89 |