Spirals Team

Software & data from the Spirals research team (University of Lille / Inria)

PinnedLoading

defects4j-repairdefects4j-repairPublic
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
Python 35 34
FPStalkerFPStalkerPublic
Repo of code for FPStalker article
Python 32 22
docker-machine-driver-g5kdocker-machine-driver-g5kPublic
Docker Machine driver for the Grid'5000 testbed infrastructure.
Go 13 5
docker-g5kdocker-g5kPublic archive
Docker Grid5000 client (CLI and Go library)
Go 12 2
FP-ScannerFP-ScannerPublic
Repo of code for FP-Scanner article
Python 13 4

Repositories

Showing 10 of 43 repositories

docker-machine-driver-g5k Public
Docker Machine driver for the Grid'5000 testbed infrastructure.
Spirals-Team/docker-machine-driver-g5k’s past year of commit activity
Go 13Apache-2.0 5 0 0 UpdatedMar 13, 2025
AverageWatts Public
Spirals-Team/AverageWatts’s past year of commit activity
Python00 0 0 UpdatedFeb 26, 2025
npe-dataset Public
A dataset of real world null pointer bug (null pointer exceptions)
Spirals-Team/npe-dataset’s past year of commit activity
Java 2 2 0 18 UpdatedNov 3, 2024
casper Public
Open-science code of "Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces" (JSS'16).
Spirals-Team/casper’s past year of commit activity
Java 3 4 0 0 UpdatedAug 5, 2024
jtravis Public
A java binding for the TravisCI Travis REST API
Spirals-Team/jtravis’s past year of commit activity
Java 7LGPL-3.0 4 4 (2 issues need help) 1 UpdatedDec 5, 2023
banana-refactoring Public
A tool for automatically refactoring test cases in smaller and purer parts
Spirals-Team/banana-refactoring’s past year of commit activity
Java 5 2 0 0 UpdatedOct 3, 2023
spirals-team.github.io Public Forked fromwillianjusten/cards-jekyll-template
Spirals job and internship offers
Spirals-Team/spirals-team.github.io’s past year of commit activity
CSS 1 272 0 0 UpdatedMar 14, 2022
defects4j-repair Public
Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs
Spirals-Team/defects4j-repair’s past year of commit activity
Python 35 34 0 0 UpdatedJan 31, 2022
IntroClassJava Public
A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass
Spirals-Team/IntroClassJava’s past year of commit activity
Java 13 10 0 0 UpdatedAug 11, 2021
test4repair-experiments Public
Open-science repository about our experimental results on test generation for automatic program repair
Spirals-Team/test4repair-experiments’s past year of commit activity
Java 5 4 0 0 UpdatedOct 13, 2020