/havelund65

Accompanying source code for the benchmark of the paper "A Context-Free Symbiosis of Runtime Verification & Automata Learning".

Primary LanguageJava

Accompanying source code for the benchmark of the paper "A Context-Free Symbiosis of Runtime Verification & Automata Learning".

Prerequisites

  • A working JDK (8+) installation
  • A working Maven installation

Running the benchmark

  • Run mvn clean package.
  • In the targetdirectory you will find a havelund65-benchmark.jar which can be executed with java -jar path/to/jar
    • Once started, the benchmark will create two files (output.csv, output.log) in the directory from which you started the benchmark.
    • The benchmarks are run in parallel. Depending on how many cores your system has, the process may require up to 8GB of RAM.