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 34 32

  2. FPStalker FPStalker Public

    Repo of code for FPStalker article

    Python 31 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 13 2

  5. FP-Scanner FP-Scanner Public

    Repo of code for FP-Scanner article

    Python 13 4

Repositories

Showing 10 of 42 repositories
  • 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
  • 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 Aug 21, 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 34 32 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…