Encoding PAMR into (Timed) EFSMs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
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
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
Programming and Computing Software
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case
Programming and Computing Software
Using a minimal number of resets when testing from a finite state machine
Information Processing Letters
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
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Formalization of test experiments
Programming and Computing Software
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
On the synthesis of adaptive tests for nondeterministic finite state machines
Programming and Computing Software
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distinguing Non-deterministic Timed Finite State Machines
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Complete open-state testing of limitedly nondeterministic systems
Programming and Computing Software
A Statistical Approach to Test Stochastic and Probabilistic Systems
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Testing a probabilistic FSM using interval estimation
Computer Networks: The International Journal of Computer and Telecommunications Networking
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Testing from X-machine specifications
Formal methods and testing
Synthesis of distinguishing test cases for timed finite state machines
Programming and Computing Software
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Adaptive testing of deterministic implementations specified by nondeterministic FSMs
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Reaching and Distinguishing States of Distributed Systems
SIAM Journal on Computing
A logic for assessing sets of heterogeneous testing hypotheses
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
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
Coping with nondeterminism in network protocol testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Conformance tests as checking experiments for partial nondeterministic FSM
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Test selection for a nondeterministic FSM
Computer Communications
The complexity of asynchronous model based testing
Theoretical Computer Science
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
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
| Hi-index | 0.01 |