JSart

Click here to download the experimental data and the tool.

The experimental data includes the following items:

  • Execution traces produced by JSART
  • Invariants collected by JSART
  • Injected faults