Automated program flaw finding using simulated annealing

Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1998

Volumn , Issue , 1998, Pages 73-81

  Tracey, Nigel ^a   Clark, John ^a   Mander, Keith ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Automatic test case generation; Exception conditions; Formal specifications; Optimisation techniques; Simulated annealing; Software testing

Indexed keywords

FORMAL SPECIFICATION; SIMULATED ANNEALING; SPECIFICATIONS;

AUTOMATIC TEST-CASE GENERATIONS; DATA GENERATION FRAMEWORK; DYNAMIC OPTIMISATION; EXCEPTION CONDITIONS; NON-FUNCTIONAL; OPTIMISATION TECHNIQUES; SOFTWARE PROJECT; TESTING CRITERIA;

SOFTWARE TESTING;

EID: 84969570914     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/271771.271792     Document Type: Conference Paper

References (22)

1. E. H. L. Aarts and J. Korst. Simulated Aneealing and Boltz-mann Machines. Wiley, 1988.
2. J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997.
3. B. Beizer. Software Testing Techniques. Thomson Computer Press, 2nd edition, 1990.
4. J. Clark and N. Tracey. Solving constraints in law 22117. Law/d5.1.1(e), European Commission - DG III Industry, 1997. Legacey Assessment Worbence Feasibility Assessment.
5. L. Clarke. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering, SE-2(3):215-222, September 1976.
6. R. Demillo and A. Offutt. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17(9):900-910, 1991.
7. K. A. Dowsland. Modem Heuristic Techniques for Combinatorial Problems, chapter 2 - Simulated Annealing, pages 20-69. McGraw Hill, 1993.
8. F. Glover and M. Laguna. Modern Heuristic Techniques for Combinatorial Problems, chapter 3 - Tabu Search, pages 70150. McGraw Hill, 1993.
9. D. E. Goldberg. Genetic Algorithms in Search, Optimisation and Machine Learing. Addison-Wesley, 1989.
10. B. Jones, H. Sthamer, and D. Eyres. Automatic structural testing using genetic algorithms. Software Engineering Journal, ll(5):299-306, 1996.
11. S. Kirkpatrick, J. C. D. Gelatt, and M. P. Vecchi. Optimization by simulated annealing. Science, 220(4598):671-680, May 1983.
12. B. Korel. Automated software test data generation. IEEE Transactions on Software Engineering, 16(8):870-879, 1990.
13. B. Korel. Automated test data generation for programs with procedures. ACM ISSTA, pages 209-215, 1996.
14. N. Metropolis, A. W. Rosenbluth, A. H. Teller, and E. Teller. Equation of state calculation by fast computing machine. Journal of Chem. Phys., 21:1087-1091, 1953.
15. W. Miller and D. Spooner. Automatic generation of floatingpoint test data. IEEE Transactions on Software Engineering, SE-2(3):223-226, September 1976.
16. A. J. Offutt and J. Pan. The dynamic domain reduction procedure for test data generation. http://www. isse.gmu. edu/faculty/ofut/rsrch/atdg.html, 1996.
17. M. Ould. Tesintg - a challenge to method and tool developers. Software Engineering Journal, 6(2):59-64, March 1991.
18. Praxis Critical Systems. Spark-Ada Documentation 2.0,1995.
19. V. J. Rayward-Smith, I. H. Osman, C. R. Reeves, and G. D. Smith, editors. Modern Heuristic Search Methods. Wiley, 1996.
20. N. Tracey, J. Clark, and K. Mander. The way forward for unifying dynamic test case generation: The optimisation-based approach. In Dependable Computing and Its Applications -To appear. IFIP, 1998.
21. N. J. Tracey. Test-case data generation using optimisation techniques - first year dphil report. Department of Computer Science, University of York, 1997.
22. X. Yang. The automatic generation of software test data from z specifications. Technical report, Department of Computer Studies, University of Glamorgan, 1995.