HTTPS SSH

READ ME

Build

  1. Make a directory. We later refer this directory as $AOTES_HOME.
  2. Change directory to $AOTES_HOME and clone the following projects

    1. AOTES
    2. AOTES-ICSE17-SUBJECTS
    3. Developer Interface of Javelus
    4. Dynamic Patch Generator
    5. Javelus
  3. Open eclipse and import all projects in $APTES_HOME

Run

If you set up everything successfully, you can run tests in every sub project whose name ends with -previous in aotes-icse17-subjects in eclipse with a standard JVM. The test will print the synthesized sequence of method invocations.

Building and installing Javelus is not easy in windows. So, we have not provided the guide here. You can refer to this link.