From operational to declarative specifications using a genetic algorithm.

Facundo Molina, Renzo Degiovanni, Germn Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Browse the full ICSE paper archive.