Published August 2, 2024
| Version v1
Software
Open
Specification-Driven Repair
Creators
Description
This artifact contains the following:
- code/: source code;
- figures/: figures used in the paper;
- full/, lite/: experimental results;
- scripts/: scripts for drawing diagrams and doing statistics.
Files
Files
(576.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:324fb3fd9db72417d9bfb5914844a18c
|
576.5 MB | Download |