Giter VIP home page Giter VIP logo

Samuel Benton's Projects

acs icon acs

Accurate Condition Synthesis

arja icon arja

Multi-Objective GP for Automated Repair of Java

astor icon astor

automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

avatar icon avatar

AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations

defexts icon defexts

Defexts: A Curated Dataset of Reproducible Real-World Bugs for Modern JVM Languages

nopol icon nopol

Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

prapr icon prapr

Official repository for PraPR source code

simfix icon simfix

Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.

tbar icon tbar

Template-based Automated Program Repair

unifieddebugging-profl icon unifieddebugging-profl

Using machine learning alongside the UnifiedDebugging technique to improve fault localization for buggy projects

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.