Using simulated annealing to synthesize resource-bounded software

Tobiah E. Smith, Dorothy E. Setliff. Using simulated annealing to synthesize resource-bounded software. Automated Software Engineering, 1(2):155-176, 1994. [doi]