spirals-team Goto Github PK

banana-refactoring

A tool for automatically refactoring test cases in smaller and purer parts

bandit-repair

Automatic repair in production with bandit algorithms to exploit and explore

benchmark-containers

A repository of benchmarks packaged as Docker containers

bikiniproxy

Rewriting Proxy for HTML and Javascript. Towards a Self-healing Web.

bikiniproxy-experiments

bitwatts

BitWatts is a software-defined power meter for virtualized environments

btrshop-android

BtrShop mobile app for Android.

btrshop-cloud

BtrShop cloud service

casper

Open-science code of "Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces" (JSS'16).

ci-inria-documentation

Documentation on how to use the continuous integration service of INRIA with Github

cloudlexicon

CloudLex

codenergy

Gather all information and charts about software energy distribution per method inside a website.

correctness-attraction-experiments

Open-science experimental results about correctness attraction

datalyse-platform

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.

ermis

Infrastructure as Runtime Models - Towards Model-Driven Resource Management

exception-parser

Java exception and call stack trace parser

failure-oblivious-experiments

Experimental data of "Exhaustive Exploration of the Failure-oblivious Computing Search Space " (ISSRE 2018)

fp-scanner

Repo of code for FP-Scanner article

fpstalker

Repo of code for FPStalker article

genpack-container

GenPack service in charge of monitoring the resource consumption of containers and planning their rescheduling

genpack-swarm

GenPack is an extension of Docker Swarm to better pack containers onto hosts

had-loop

Implementation of a feedback control loop for the Apache Hadoop stack

hadoop-benchmark

Docker containers to build an Hadoop infrastructure and experiment feedback control loops atop of it.

introclassjava

A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass

itzal-experiments

Open-science repo for the Itzal patch generation system in production

itzal-runtime-repair

runtime repair with patch generation in production