"Program Generation Using Simulated Annealing and Model Checking."

Idress Husien, Sven Schewe (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics