Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models

@article{Zhao2010EmpiricalSO,
  title={Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models},
  author={Ruilian Zhao and Mark Harman and Zheng Li},
  journal={2010 Third International Conference on Software Testing, Verification, and Validation Workshops},
  year={2010},
  pages={222-231}
}
Experimental work in software testing has generally focused on evaluating the effectiveness and efficiency on various source code programs. However, an important issue of testing efficiency on the model level has not been sufficiently addressed, and hitherto, no empirical studies exist. This paper presents an automated test data generation system for feasible transition paths (FTP) on Extended Finite State Machines (EFSM) models and investigates the statistical properties of testing efficiency… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

Citations

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

EFSM-Based Test Case Generation: Sequence, Data, and Oracle

International Journal of Software Engineering and Knowledge Engineering • 2015
View 4 Excerpts
Highly Influenced

Generating Complex Paths for Testing from an EFSM

2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) • 2018
View 1 Excerpt

A Hybrid Test Generation Approach Based on Extended Finite State Machines

2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) • 2016

EFSM-based test data generation with Multi-Population Genetic Algorithm

2014 IEEE 5th International Conference on Software Engineering and Service Science • 2014
View 1 Excerpt

Feasible transition path generation for EFSM-based system testing

2013 IEEE International Symposium on Circuits and Systems (ISCAS2013) • 2013
View 1 Excerpt

Towards Search-Based Testing for Event-B Models

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops • 2011
View 2 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 28 references

A theoretical and empirical study of EFSM dependence

2009 IEEE International Conference on Software Maintenance • 2009
View 1 Excerpt

Automatic State-Based Test Generation Using Genetic Algorithms

Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) • 2007
View 1 Excerpt

Avoiding coincidental correctness in boundary value analysis

ACM Trans. Softw. Eng. Methodol. • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…