Skip to content

Temporal Alloy Repair is a tool that extends Alloy6 to allow mutation-based automatic repair of specifications

License

Notifications You must be signed in to change notification settings

Kaixi26/TAR

 
 

Repository files navigation

TAR

Temporal Alloy Repair is a tool that extends Alloy6 to allow mutation-based automatic repair of specifications.

Requirements and Building

You can check the Alloy README for these instructions.

Building the docker image

Simply run

$ docker build .

in the root project folder.

An already built image can also be found at Docker Hub.

Modification

No changes have been made to the original source code in the core, all core additions have been made in the pt.haslab package, if you want to add new mutators you can do so by first creating a class extending pt.haslab.mutation.mutator.Mutator and then adding this class to the generation process in pt.haslab.mutation.mutator.Generator.

About

Temporal Alloy Repair is a tool that extends Alloy6 to allow mutation-based automatic repair of specifications

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Alloy 97.9%
  • Java 2.1%
  • HTML 0.0%
  • Lex 0.0%
  • Python 0.0%
  • Shell 0.0%