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
Click here to download the experimental data and the tool.
The experimental data includes the following items: