From Operational to Declarative Specifications using a Genetic Algorithm

Date:

Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]