Specification based regression testing using explicit state space enumeration

2006 International Conference on Software Engineering Advances, ICSEA'06

Volumn , Issue , 2006, Pages

  Chakrabarti, Sujit Kumar ^a   Srikant, Y N ^a  

^a INDIAN INSTITUTE OF SCIENCE   (India)

Author keywords

Configuration management; Maintenance and evolution; Open systems development

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTATION THEORY; FINITE AUTOMATA; REGRESSION ANALYSIS;

CONFIGURATION MANAGEMENT; EXPLICIT STATE SPACE ENUMERATION; SYSTEM UNDER TEST (SUT);

SPECIFICATION LANGUAGES;

EID: 38849130673     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2006.261276     Document Type: Conference Paper

References (10)

1. G. Amnions, R. Bodk, and J. R. Larus. Mining specifications. In Proceedings of The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 4-16, 2002.
2. S. K. Chakrabarti and Y. N. Srikant. Specification Based Regression Testing Using Explicit State Space Enumeration, http://archive.csa.iisc.ernet. in/tr/2006/3/. Technical report.
3. Y. Cheon and G. T. Leavens. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. In Boris Magnusson, editor, ECOOP 2002 Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 2002, Proceedings, volume 2374, pages 231-255. Springer-Verlag, June 2002.
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
5. J. W. Duran and S. C. Ntafos. A Report on Random Testing. In Proceedings of ICSE'81(1981 IEEE International Conference on Software Engineering, pages 179-183, 1981.
6. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pages 213-223. ACM Press.
7. R. ko Doong and P. G. Frankl. The ASTOOT Approach to Testing Object-Oriented Programs. ACM Transactions on Software Engineering and Methodology, 3(2), 1994.
8. D. Lee and M. Yannakakis. Testing Finite-State Machines: State Identification and Verification. IEEE Transactions on Computers, 43(3), 1994.
9. R. Nadaf, R. P. J. C. Bose, and P. Singh. An approach for specification based testing for platforms. In Proceedings of The IASTED SE 2006, pages 4-16. ACTA Press, 2006.
10. L. Xu, M. Dias, and D. Richardson. Regression Testing via Model Checking. In Proceedings of the IASTED SE 2004.