Spirals Team
Software & data from the Spirals research team (University of Lille / Inria)
Lille, France
Pinned Repositories
benchmark-containers
A repository of benchmarks packaged as Docker containers
bikiniproxy
Rewriting Proxy for HTML and Javascript. Towards a Self-healing Web.
bitwatts
BitWatts is a software-defined power meter for virtualized environments
defects4j-presentation-urls
URls for pointing to Defect4J bugs and diffs
defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
docker-g5k
Docker Grid5000 client (CLI and Go library)
docker-machine-driver-g5k
Docker Machine driver for the Grid'5000 testbed infrastructure.
FP-Scanner
Repo of code for FP-Scanner article
FPStalker
Repo of code for FPStalker article
IntroClassJava
A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass
Spirals Team's Repositories
Spirals-Team/defects4j-repair
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
Spirals-Team/FPStalker
Repo of code for FPStalker article
Spirals-Team/benchmark-containers
A repository of benchmarks packaged as Docker containers
Spirals-Team/defects4j-presentation-urls
URls for pointing to Defect4J bugs and diffs
Spirals-Team/bikiniproxy
Rewriting Proxy for HTML and Javascript. Towards a Self-healing Web.
Spirals-Team/docker-g5k
Docker Grid5000 client (CLI and Go library)
Spirals-Team/docker-machine-driver-g5k
Docker Machine driver for the Grid'5000 testbed infrastructure.
Spirals-Team/FP-Scanner
Repo of code for FP-Scanner article
Spirals-Team/IntroClassJava
A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass
Spirals-Team/hadoop-benchmark
Docker containers to build an Hadoop infrastructure and experiment feedback control loops atop of it.
Spirals-Team/jtravis
A java binding for the TravisCI Travis REST API
Spirals-Team/banana-refactoring
A tool for automatically refactoring test cases in smaller and purer parts
Spirals-Team/test4repair-experiments
Open-science repository about our experimental results on test generation for automatic program repair
Spirals-Team/CloudLexicon
CloudLex
Spirals-Team/open-science-paper
A modern web framework for publishing true Open Science papers on GitHub
Spirals-Team/casper
Open-science code of "Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces" (JSS'16).
Spirals-Team/correctness-attraction-experiments
Open-science experimental results about correctness attraction
Spirals-Team/powerspy.scala
powerspy.scala is a tool for getting the power consumption from the PowerSpy powermeter
Spirals-Team/BtrShop-android
BtrShop mobile app for Android.
Spirals-Team/maven-repair
A maven plugin for executing automated program repair on Maven projects MOVED TO https://github.com/Spirals-Team/repairnator/tree/master/maven-repair
Spirals-Team/npe-dataset
A dataset of real world null pointer bug (null pointer exceptions)
Spirals-Team/reactive-slides
A web framework for building interactive presentations
Spirals-Team/npefix-experiments
Experimental results of the NPEFix system
Spirals-Team/spirals-team.github.io
Spirals job and internship offers
Spirals-Team/bikiniproxy-experiments
Spirals-Team/BtrShop-cloud
BtrShop cloud service
Spirals-Team/failure-oblivious-experiments
Experimental data of "Exhaustive Exploration of the Failure-oblivious Computing Search Space " (ISSRE 2018)
Spirals-Team/genpack-container
GenPack service in charge of monitoring the resource consumption of containers and planning their rescheduling
Spirals-Team/itzal-experiments
Open-science repo for the Itzal patch generation system in production
Spirals-Team/itzal-runtime-repair
runtime repair with patch generation in production