Skip to content
Change the repository type filter

All

    Repositories list

    • A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.
      Python
      Other
      2942.8k170Updated Dec 9, 2024Dec 9, 2024
    • defects4j

      Public
      A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
      Shell
      MIT License
      305000Updated Dec 4, 2024Dec 4, 2024
    • cerberus

      Public
      Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
      Python
      MIT License
      3167210Updated Nov 24, 2024Nov 24, 2024
    • EffFix

      Public
      Python
      0000Updated Nov 7, 2024Nov 7, 2024
    • 0000Updated Nov 2, 2024Nov 2, 2024
    • vul4j

      Public
      Vul4J: A Dataset of Reproducible Java Vulnerabilities
      Shell
      GNU General Public License v3.0
      24100Updated Sep 21, 2024Sep 21, 2024
    • data-set for effFix evaluation
      Shell
      MIT License
      0100Updated Sep 12, 2024Sep 12, 2024
    • Security Vulnerability Repair via Concolic Execution and Code Mutations
      Python
      117130Updated Sep 12, 2024Sep 12, 2024
    • VulnLoc Security Benchmark with instrumentation support for repair tools
      C
      MIT License
      2330Updated Jun 28, 2024Jun 28, 2024
    • BugsInPy: Benchmarking Bugs in Python Projects, Cerberus Version
      Shell
      34000Updated Jun 5, 2024Jun 5, 2024
    • BugsJS benchmark framework and data files.
      JavaScript
      MIT License
      14000Updated Jun 3, 2024Jun 3, 2024
    • bugsPHP

      Public
      Collection of PHP bugs for training ML models and evaluating techniques in Software Engineering Research
      Shell
      MIT License
      2000Updated Jun 3, 2024Jun 3, 2024
    • An Extensible Java Bug Benchmark for Automatic Program Repair Studies
      Shell
      GNU General Public License v3.0
      15000Updated May 13, 2024May 13, 2024
    • A Reproducible Benchmark of Recent Java Bugs
      Python
      MIT License
      9000Updated Apr 12, 2024Apr 12, 2024
    • evoRepair

      Public
      Prototype for co-evolution based Repair for Java
      Java
      0130Updated Apr 8, 2024Apr 8, 2024
    • Refactory Education Benchmark with metadata for Cerberus
      Python
      GNU General Public License v3.0
      0000Updated Feb 7, 2024Feb 7, 2024
    • Bugs.jar benchmark with instrumentation support for repair tools
      Shell
      MIT License
      0000Updated Feb 7, 2024Feb 7, 2024
    • Quixbugs Benchmark with metadata for java bugs
      Java
      MIT License
      0000Updated Feb 7, 2024Feb 7, 2024
    • Cerberus Benchmark with metadata for Cerberus
      Java
      MIT License
      0010Updated Feb 7, 2024Feb 7, 2024
    • ITSP Education Benchmark with metadata for Cerberus
      C
      MIT License
      0000Updated Feb 7, 2024Feb 7, 2024
    • ExtractFix security vulnerabilities with instrumentation for repair tools
      C
      MIT License
      0200Updated Feb 7, 2024Feb 7, 2024
    • manybugs

      Public
      ManyBugs benchmark with instrumentation support for repair tools
      C
      MIT License
      0010Updated Feb 7, 2024Feb 7, 2024
    • A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass with metadata for Cerberus
      Java
      10000Updated Feb 7, 2024Feb 7, 2024
    • LMDefects benchmark with instrumentation for repair tools
      Java
      0200Updated Feb 7, 2024Feb 7, 2024
    • Subset of ManyBugs benchmark filtered with Vulnerabilities
      0000Updated Aug 24, 2023Aug 24, 2023
    • 0020Updated May 6, 2023May 6, 2023
    • Shell
      MIT License
      0100Updated Apr 28, 2023Apr 28, 2023
    • Quixbugs Benchmark with metadata for python bugs
      MIT License
      0000Updated Apr 25, 2023Apr 25, 2023
    • benchmark setup for Pulse
      Shell
      MIT License
      0100Updated Apr 16, 2023Apr 16, 2023
    • evosuite

      Public
      Java
      GNU Lesser General Public License v3.0
      0000Updated Mar 28, 2023Mar 28, 2023