ProgramRepair
Popular repositories Loading
-
SearchRepair
SearchRepair PublicThe SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
-
IntroClass
IntroClass PublicThe IntroClass benchmark. http://repairbenchmarks.cs.umass.edu/
-
experiments-infrastructure
experiments-infrastructure PublicScripts and other support for launching and managing large-scale repair experiments on a cloud infrastructure (usually EC2).
-
SearchRepair-SymEx
SearchRepair-SymEx PublicOCaml utilities to support Java-based SearchRepair.
OCaml 1
Repositories
- SearchRepair Public
The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
ProgramRepair/SearchRepair’s past year of commit activity - experiments-infrastructure Public
Scripts and other support for launching and managing large-scale repair experiments on a cloud infrastructure (usually EC2).
ProgramRepair/experiments-infrastructure’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…