A Genetic Algorithm to Translate Specifications

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.

Getting started

Download the tool alloy-learning

Prerequisites

Make sure that you have installed the following tools:

Java 7
Maven

Installation

Uncompress the downloaded tar file
Run the script setup.sh

Experiments

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

Google Sites

Report abuse