Generating regression tests via model checking

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2004, Pages 336-341

  Xu, Lihua ^a   Dias, Marcio ^a   Richardson, Debra ^a  

^a University of California   (United States)

Author keywords

Formal Specification; Model Checking; Regression Testing; Software Testing

Indexed keywords

CODES (STANDARDS); COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; COMPUTER SYSTEMS; COST EFFECTIVENESS; REGRESSION ANALYSIS; SEMANTICS; SPECIFICATIONS;

FORMAL SPECIFICATION; MODEL CHECKING; REGRESSION TESTING; SOFTWARE TESTING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 18744364718     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. D. Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y. Kim, & Y. Song, Developing an object-oriented software testing and maintenance environment, Communications of the ACM, 1995
2. Y. Wu, D. Pan & M. H. Chen, Techniques of maintaining evolving component-based software, Proceedings of the International Conference on Software Maintenance, 2000, IEEE
3. Y. Wu, M. H. Chen & H. M. Kao, Regression testing of object-oriented programs, Proceeding of the International Symposium on Software Reliability, 1999
4. S. Beydeda and V. Gruhn, Integrating White- and Black-Box Techniques for Class-Level Regression Testing, COMPSAC 2001.
5. nd ICFEM'98, IEEE, 1998.
6. G. Holzmann, The Model Checker SPIN, IEEE Trans. On Software Engineering, Vol.23, No. 5, May 1997
7. D. S. Rosenblum and E. J. Weyuker. Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies. IEEE Transactions on Software Engineering; 23(3):146-156, March 1997
8. G. Rothermel and M. J. Harrold, Analyzing Regression Test Selection Techniques. IEEE Transactions on Software Engineering, 22(8):529-551, August 1996
9. th Int'l Conf. On Softw. Eng. (ICSE '93), Baltimore, MD, 1993.
10. A. Gargantini, C. Heitmeyer: Using Model Checking to Generate Tests from Requirements Specifications, Proc., Joint 7th Eur. Software Engineering Conf. and 7th ACM SIGSOFT Intern. Symp. on Foundations of Software Eng. (ESEC/FSE99), Toulouse, FR, Sept. 6-10, 1999
11. Elizabeth I. Leonard, Constance L. Heitmeyer, Program Synthesis from Formal Requirements Specifications using APTS, Higher-Order and Symbolic Computation, Kluwer Academic Publishers, to appear.
12. P. Ammann, Paul E. Black and W. Ding, Model Checkers in Software Testing, National Institute of Standards and Technology, 2002. NIST-IR 6777.
13. J. Callahan, F. Schneider and S. Easterbrook. Automated software testing using model checking, Proceedings 1996 SPIN workshop, Rutgers, NJ, 1996
14. A. Engels, L. Feijis and S. Mauw, Test Generation for Intelligent Networks Using Model Checking, Proc. TACSS'97, 1997
15. P. Krishnan, Uniform Descriptions for Model Based Testing, Australian Software Engineering Conference 2004, to be appear.