Building SEET from sources

Setting up the source code

Obtaining the source code

The source code is hosted in GitHub: http://github.com/BanafshehAzizi/SEET. You can obtain the source code with:

git clone http://github.com/BanafshehAzizi/SEET

Required software

• Java 8
• Eclipse
• Epsilon 1.3
• ATL (version 3.x or later)
• graphviz (optional) - To show test cases

Project organization

The source code is organized in the following folders:

+ plugins
      - Plug-ins with the actual implementation of SEET.
        These are the plug-ins that you have to import in your
        Eclipse workspace if you just want to have a look to the
        source code or fix bugs.
+ evaluation
      - Case studies used for each evaluation
+ site
      - Project update site

To have a working instance of SEET running with the source code, just import the projects in the plugins folder.

+ seet.checker
       - Facilities to use anATLyzer to check constraint satisfiability
+ seet.engine
       - Main SEET code: CFG generator, symbolic execution engine, and oracle
+ seet.layout
       - GUI-related code