Journal of Software Engineering and Applications

Vol.6 No.9(2013), Paper ID 37101, 11 pages

DOI:10.4236/jsea.2013.69060

 

Test Selection on Extended Finite State Machines with Provable Guarantees

 

Bo Guo, Mahadevan Subramaniam

 

Department of Computer Science, University of Nebraska Omaha, Omaha, USA.
Department of Computer Science, University of Nebraska Omaha, Omaha, USA

 

Copyright © 2013 Bo Guo, Mahadevan Subramaniam et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article


B. Guo and M. Subramaniam, "Test Selection on Extended Finite State Machines with Provable Guarantees," Journal of Software Engineering and Applications, Vol. 6 No. 9, 2013, pp. 500-510. doi: 10.4236/jsea.2013.69060.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.