|
203
|
Principles And Methods Of Testing Finite State Machines - A Survey
– David Lee, Mihalis Yannakakis
- 1996
|
|
11
|
Testing protocols modeled as FSMs with timing parameters
– M. Ümit Uyar , Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
- 1999
|
|
19
|
On Fault Coverage of Tests for Finite State Specifications
– A. Petrenko, G. V. Bochmann
- 1996
|
|
8
|
Transformation of Estelle modules aiming at test case generation
– O. Henniger, A. Ulrich, H. König
- 1995
|
|
10
|
Minimum-Cost Solutions for Testing Protocols with Timers
– M. Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
- 1997
|
|
2
|
Generation Of Realizable Conformance Tests Under Timing Constraints
– M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
- 1998
|
|
14
|
Automated Unique Input Output sequence generation for conformance testing of FSMs
– Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
- 2006
|
|
2
|
Finite-State Testing of Graphical User Interfaces
– Fevzi Belli
|
|
|
A Holistic View for Finite-State Modeling . . .
– Fevzi Belli
- 2003
|
|
|
Communication Protocols Testability Improvement by Narrow Input/Output (NIO) Sequences
– Tao Huang, Anthony Chung
|
|
2
|
Fault Coverage Evaluation of Protocol Test Sequences
– C Fl Jinsong Zhu, Jinsong Zhu, Jinsong Zhu, Samuel T. Chanson, Samuel T. Chanson, Samuel T. Chanson
- 1993
|
|
4
|
Guaranteeing Full Fault Coverage for UIO-Based Testing Methods
– Ricardo Anido, Ricardo Anido, Ana Cavalli, Ana Cavalli
- 1995
|
|
1
|
Diagnosing multiple faults in finite state machines
– A. Ghedamsi, G. V. Bochmann, R. Dssouli, Universitž De Montržal, Abderrazak Ghedamsi, Gregor V. Bochmann, Rachida Dssouli
- 1993
|
|
3
|
Improving test quality using robust unique input/output circuit sequences (UIOCs
– Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
- 2006
|
|
7
|
A Technique to Generate Feasible Tests for Communications Systems with Multiple Timers
– Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer
- 2003
|
|
37
|
Testing web applications by modeling with fsms
– Anneliese A. Andrews, Jeff Offutt, Roger T. Alexander
- 2005
|
|
|
(will be inserted by the editor) Estimating the feasibility of transition paths in Extended Finite State Machines
– Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo, K. Derderian, R. M. Hierons, M. Harman, Q. Guo
- 2009
|
|
18
|
Selecting Test Sequences For Partially-Specified Nondeterministic Finite State Machines
– Gang Luo, Alexandre Petrenko, Re Petrenko, Gregor V. Bochmann
- 1994
|
|
8
|
A Test Generation Tool for Specifications in the Form of State Machines
– Q. M. Tan, A. Petrenko, G. v. Bochmann
|
