An automated framework for structural test-data generation

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 285-288

  Tracey, N ^a   Clark, J ^a   Mander, K ^a   McDermid, J ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SOFTWARE DESIGN; TEST FACILITIES;

AUTOMATIC GENERATION; BOUNDARY VALUE ANALYSIS; DYNAMIC OPTIMISATION; EXCEPTION TESTING; LABOUR-INTENSIVE; STANDARDS AND GUIDELINES; STRUCTURAL TESTING; TEST DATA GENERATION;

SOFTWARE TESTING;

EID: 85032873485     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.1998.732680     Document Type: Conference Paper

References (13)

1. John Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997.
2. B. Beizer. Software System Testing and Quality Assurance. Thomson Computer Press, 1996.
3. L. Clarke. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering, SE-2(3):215-222, September 1976.
4. R. Demillo and A. Offutt. Experimental results form an automatic test case generator. ACM Transactions on Software Engineering and Methodology, 2(2):109-127, April 1993.
5. B. Jones, H. Sthamer, and D. Eyres. Automatic structural testing using genetic algorithms. Software Engineering Journal, 11(5):299-306, 1996.
6. S. Kirkpatrick, Jr. C. D. Gelatt, and M. P. Vecchi. Optimization by simulated annealing. Science, 220(4598):671-680, May 1983.
7. B. Korel. Automated software test data generation. IEEE Transactions on Software Engineering, 16(8):870-879, 1990.
8. W. Miller and D. Spooner. Automatic generation of oating-point test data. IEEE Transactions on Software Engineering, SE-2(3):223-226, Septem-ber 1976.
9. M. Ould. Testing-a challenge to method and tool developers. Software Engineering Journal, 6(2):59-64, March 1991.
10. Nigel Tracey, John Clark, and Keith Mander. Automated program aw finding using simulated annealing. In International Symposium on Software Testing and Analysis, pages 73-81. ACM/SIGSOFT, 1998.
11. Nigel Tracey, John Clark, and Keith Mander. The way forward for unifying dynamic test case generation: The optimisation-based approach. In International Workshop on Dependable Computing and Its Applications, pages 169-180. IFIP, 1998.
12. Nigel J. Tracey. Test-case data generation using optimisation techniques-fiirst year DPhil report. Department of Computer Science, University of York, 1997.
13. Alison Lachut Watkins. The automatic generation of test data using genetic algorithms. Proceedings of the 4th Software Quality Conference, 2:300-309, 1995.