Projected state machine coverage for software testing

  title={Projected state machine coverage for software testing},
  author={G. Friedman and Alan Hartman and Kenneth Nagin and T. Shiran},
Our research deals with test generation for software based on finite state machine (FSM) models of the program specification. We describe a set of coverage criteria and testing constraints for use in the automatic generation of test suites. We also describe the algorithms used to generate test suites based on these coverage criteria, and the implementation of these algorithms as an extension of the Murϕ model checker[4]. The coverage criteria are simple but powerful in that they generate test… CONTINUE READING
Highly Cited
This paper has 77 citations. REVIEW CITATIONS

6 Figures & Tables



Citations per Year

77 Citations

Semantic Scholar estimates that this publication has 77 citations based on the available data.

See our FAQ for additional information.