search

squaresLab / genprog-code

GenProg: heuristic, GP-based automatic program repair for C.
92 stars 27 forks source link

Availability of GenProg ICSE 2012 benchmarks #36

Closed bstee615 closed 3 years ago

bstee615 commented 3 years ago

I'm trying to get the original format of the GenProg ICSE 2012 benchmark because I want to debug a tool that uses it (named Angelix). I am trying to access the benchmark at this link: http://dijkstra.cs.virginia.edu/genprog/resources/genprog-icse2012-benchmarks. The site seems to be down. Is this benchmark available, and how would I go about getting it?

jlacomis commented 3 years ago

That server is run by Wes Weimer, who has since moved to Michigan. I can't find that exact location at the new URL, but maybe this link is a good place to start? https://dijkstra.eecs.umich.edu/genprog/resources/autorepairbenchmarks/

clegoues commented 3 years ago

That is the right URL, and I'll double check that the links are correct elsewhere. Thanks!