https://github.com/rshariffdeen/cpr
CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.
https://github.com/rshariffdeen/cpr
concolic-execution program-repair
Last synced: 6 months ago
JSON representation
CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.
- Host: GitHub
- URL: https://github.com/rshariffdeen/cpr
- Owner: rshariffdeen
- License: mit
- Created: 2020-07-21T08:09:02.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2022-10-23T02:16:35.000Z (over 2 years ago)
- Last Synced: 2023-08-05T04:55:12.021Z (almost 2 years ago)
- Topics: concolic-execution, program-repair
- Language: C
- Homepage: https://cpr-tool.github.io
- Size: 130 MB
- Stars: 26
- Watchers: 5
- Forks: 6
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE