Pinned Repositories
astor
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
failingProject
project used as test resources
flacoco
Fault localization for Java based on Jacoco
maven-surefire-junit5-tree-reporter
Tree view reports for Maven Surefire JUnit5 plugin :^)
nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
repairnator
Software development bot that automatically repairs build failures on continuous integration. Join the bot revolution! :star2::robot::star2::revolving_hearts:
skiros2
A skill-based platform for ROS v.2
test-runner
framework to run JUnit tests in a new JVM
repairnator
Software development bots for Github. Join the bot revolution! :star2::robot::star2::revolving_hearts:
Android
First try for Android
cokefh's Repositories
cokefh/astor
Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
cokefh/failingProject
project used as test resources
cokefh/flacoco
Fault localization for Java based on Jacoco
cokefh/maven-surefire-junit5-tree-reporter
Tree view reports for Maven Surefire JUnit5 plugin :^)
cokefh/nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
cokefh/repairnator
Software development bot that automatically repairs build failures on continuous integration. Join the bot revolution! :star2::robot::star2::revolving_hearts:
cokefh/skiros2
A skill-based platform for ROS v.2
cokefh/test-runner
framework to run JUnit tests in a new JVM