Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
EXPERIMENTAL EVALUATION OF FSM-BASED TESTING METHODS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing Timed Finite State Machines with Guaranteed Fault Coverage
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Bounded sequence testing from non-deterministic finite state machines
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
An improved conformance testing method
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Conformance tests as checking experiments for partial nondeterministic FSM
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Testing in context: framework and test derivation
Computer Communications
Minimizing the cost of fault location when testing from a finite state machine
Computer Communications
The complexity of asynchronous model based testing
Theoretical Computer Science
A bounded incremental test generation algorithm for finite state machines
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
A practical approach for testing timed deterministic finite state machines with single clock
Science of Computer Programming
| Hi-index | 0.01 |