In this site you can find the tool and experiments that are part of the paper An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications accepted for publication in the journal Science of Computer Programming.
Download the tool alloy-learning
Make sure that you have installed the following tools:
Java 7
Maven
Uncompress the downloaded tar file
Run the script setup.sh
Use the script run-ga.sh providing as argument any of the files in the folder tests, for example ./run-ga.sh tests/SinglyLinkedListDYN3.als