Generating Checking Sequences for Nondeterministic Finite State Machines

@article{Petrenko2012GeneratingCS,
  title={Generating Checking Sequences for Nondeterministic Finite State Machines},
  author={Alexandre Petrenko and Adenilso da Silva Sim{\~a}o and Nina Yevtushenko},
  journal={2012 IEEE Fifth International Conference on Software Testing, Verification and Validation},
  year={2012},
  pages={310-319}
}
A checking sequence is a single input sequence which is able to reveal all the faults in a given fault domain. There are many methods for generating checking sequences for deterministic finite state machines (FSM), however, we are not aware of any generalization to no deterministic machines. No deterministic specifications are needed for software testing, as they describe the behavior of a wider class of reactive systems than deterministic FSMs when depending on the environment conditions, a no… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops • 2013
View 12 Excerpts
Highly Influenced

Testing from Partial Finite State Machines without Harmonised Traces

IEEE Transactions on Software Engineering • 2017
View 1 Excerpt

Synthesizing adaptive test strategies from temporal logic specifications

2016 Formal Methods in Computer-Aided Design (FMCAD) • 2016
View 1 Excerpt

Generating test case chains for reactive systems

International Journal on Software Tools for Technology Transfer • 2014

On adaptive experiments for nondeterministic finite state machines

International Journal on Software Tools for Technology Transfer • 2014
View 3 Excerpts

On the global optimization of checking sequences for finite state machine implementations

Microprocessors and Microsystems - Embedded Hardware Design • 2014
View 1 Excerpt

Similar Papers

Loading similar papers…