GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ rshariffdeen
1 open source projects by rshariffdeen
[ Open user page on Github ]
1.
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.
✭ 22
c
shell
python
Makefile
SMT
C++
program-repair
concolic-execution
1-1
of
1
user projects