• SemFix

  • Referenced in 5 articles [sw17449]
  • SemFix: program repair via semantic analysis. Debugging consumes significant time and effort in any major ... trivial. Given this situation, automated program repair methods are of value. In this paper ... present an automated repair method based on symbolic execution, constraint solving and program synthesis...
  • Codeflaws

  • Referenced in 2 articles [sw26889]
  • programming competition benchmark for evaluating automated program repair tools. Several automated program repair techniques have ... effort spent in bug-fixing. While these repair tools are designed to be generic such ... they could address many software faults, different repair tools may fix certain types of faults ... fault types. However, existing benchmarks on automated program repairs do not allow thorough investigation...
  • Angelix

  • Referenced in 2 articles [sw26887]
  • Angelix: Semantics-based test-driven automated program repair tool for C programs. Automated program repair ... once-futuristic idea of automated program repair is gradually becoming a reality. Several approaches...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • other applications. Invariants can be useful in program understanding and a host of other applications ... predicting incompatibilities in component integration, automating theorem proving, repairing inconsistent data structures, and checking...
  • ARJA

  • Referenced in 1 article [sw25891]
  • ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming. Recent empirical studies show ... based repair approach for automated repair of Java programs. To be specific, we present ... this new representation, we formulate automated program repair as a multi-objective search problem...
  • QuixBugs

  • Referenced in 1 article [sw28477]
  • QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge. Recent years ... seen an explosion of work in automated program repair. While previous work has focused exclusively...
  • SQLizer

  • Referenced in 1 article [sw40460]
  • with type-directed program synthesis and automated program repair. Starting with a program sketch obtained ... alternates between probabilistic type inhabitation and automated sketch repair. We use the proposed idea...
  • JFIX

  • Referenced in 1 article [sw26886]
  • there has been a proliferation of automated program repair (APR) techniques, targeting various programming languages...
  • HireBuild

  • Referenced in 1 article [sw30231]
  • HireBuild: An Automatic Approach to History-Driven Repair of Build Scripts. Advancements in software build ... scripts or to resolve build failures. Automated program repair techniques have great potential to reduce...
  • SketchFix

  • Referenced in 0 articles [sw37081]
  • SketchFix: a tool for automated program repair approach using lazy candidate generation...
  • GenProg

  • Referenced in 4 articles [sw22863]
  • GenProg, an automated method for repairing defects in off-the-shelf, legacy programs without formal...
  • Tortoise

  • Referenced in 1 article [sw30232]
  • automated repair tool for Puppet that allows system administrators to automatically synthesize program repairs based...
  • ABETS

  • Referenced in 3 articles [sw31985]
  • addition, ABETS employs runtime assertion checking to automate the identification of bugs so that whenever ... novel assertion-based facility for program repair that generates suitable program fixes when a state...
  • CUTE

  • Referenced in 65 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • QuBE++

  • Referenced in 27 articles [sw00766]
  • In this paper we describe QuBE++, an efficient...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...