Skip to content
@Spirals-Team

Spirals Team

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

Pinned Loading

  1. defects4j-repair defects4j-repair Public

    Open-science repo for our experimental results of automatic software repair on the Defects4J benchmark of Java bugs

    Python 35 33

  2. FPStalker FPStalker Public

    Repo of code for FPStalker article

    Python 32 21

  3. docker-machine-driver-g5k docker-machine-driver-g5k Public

    Docker Machine driver for the Grid'5000 testbed infrastructure.

    Go 13 5

  4. docker-g5k docker-g5k Public archive

    Docker Grid5000 client (CLI and Go library)

    Go 12 2

  5. FP-Scanner FP-Scanner Public

    Repo of code for FP-Scanner article

    Python 13 4

Repositories

Showing 10 of 42 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 13 Apache-2.0 5 0 0 Updated Dec 25, 2024
  • 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 1 0 18 Updated Nov 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 Updated Aug 5, 2024
  • jtravis Public

    A java binding for the TravisCI Travis REST API

    Spirals-Team/jtravis’s past year of commit activity
    Java 7 LGPL-3.0 4 4 (2 issues need help) 1 Updated Dec 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 Updated Oct 3, 2023
  • spirals-team.github.io Public Forked from willianjusten/cards-jekyll-template

    Spirals job and internship offers

    Spirals-Team/spirals-team.github.io’s past year of commit activity
    CSS 1 276 0 0 Updated Mar 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 33 0 0 Updated Jan 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 Updated Aug 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 Updated Oct 13, 2020
  • bikiniproxy Public

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

    Spirals-Team/bikiniproxy’s past year of commit activity
    JavaScript 13 MIT 8 9 3 Updated Jul 28, 2020
View all repositories

Top languages

Loading…