Kent Academic Repository (University of Kent) · 1998 · 76 citations · 16 references
Open access
One of the major costs in a software project is the construction of test-data. This paper outlines a generalised test-case data generation framework based on optimisation techniques. This framework can incorporate a number of testing criteria unifying both functional and non-function testing. Application of the optimisation based approach are given for worst-case execution time, specification conformance, structural coverage and exception condition testing. The results of a number of small example case studies are presented and show the efficacy of the approach. 1
16
Optimization by Simulated Annealing
Scott Kirkpatrick, C. D. Gelatt, M.P. Vecchi · Science · 1983 · 44K citations
Numerical Analysis, Large-scale Global Optimization, Computational Science +15
Equation of State Calculations by Fast Computing Machines
N. Metropolis, Arianna W. Rosenbluth, M. N. Rosenbluth et al. · The Journal of Chemical Physics · 1953 · 36.5K citations
D. E. Goldberg · Medical Entomology and Zoology · 1989 · 10.1K citations
Symbolic execution and program testing
James C. King · Communications of the ACM · 1976 · 2.9K citations · Full text