Generation of Adaptive Test Cases from Nondeterministic Finite State Models

Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs

IEEE Transactions on Software Engineering

Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method

IEEE Transactions on Software Engineering

Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite-State Machines

IEEE Transactions on Software Engineering

Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting

IEEE Transactions on Computers

Applying adaptive test cases to nondeterministic implementations

Information Processing Letters

Reducing the cost of applying adaptive test cases

Computer Networks: The International Journal of Computer and Telecommunications Networking

Applying adaptive test cases to nondeterministic implementations

Information Processing Letters

Checking experiments for stream X-machines

Theoretical Computer Science

Reaching and Distinguishing States of Distributed Systems

SIAM Journal on Computing

Conformance tests as checking experiments for partial nondeterministic FSM

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

The complexity of asynchronous model based testing

Theoretical Computer Science

Testing nondeterministic finite state machines with respect to the separability relation

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems