Automatic Error Elimination by Multi-Application Code Transfer

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Unknown venue

• Publication date

  2014-10-02

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatic runtime error repair and containment via recovery shepherding

  2014cited by this paper
• Sound input filter generation for integer overflow errors

  2014cited by this paper
• Automatic patch generation learned from human-written patches

  2013cited by this paper
• A source-to-source transformation tool for error fixing

  2013cited by this paper
• Automatic recovery from runtime failures

  2013cited by this paper
• Modular and verified automatic program repair

  2012cited by this paper
• Self-stabilizing Java

  2012cited by this paper
• Bolt: on-demand infinite loop escape in unmodified binaries

  2012cited by this paper
• A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

  2012cited by this paper
• Automatic input rectification

  2012cited by this paper
• Detecting and Escaping Infinite Loops with Jolt

  2011cited by this paper
• Proceedings of the 2009 International Symposium on Memory Management

  2009cited by this paper
• Taint-based directed whitebox fuzzing

  2009cited by this paper
• Automatically patching errors in deployed software

  2009cited by this paper
• ASSURE: automatic software self-healing using rescue points

  2009cited by this paper
• What antimicrobial resistance has taught us about horizontal gene transfer.

  2009cited by this paper
• Automatically finding patches using genetic programming

  2009cited by this paper
• Z3: An Efficient SMT Solver

  2008cited by this paper
• Valgrind: a framework for heavyweight dynamic binary instrumentation

  2007cited by this paper
• A Dynamic Mechanism for Recovering from Buffer Overflow Attacks

  2005cited by this paper
• Rx: treating bugs as allergies---a safe method to survive software failures

  2005cited by this paper
• Building a Reactive Immune System for Software Services

  2005cited by this paper
• Enhancing Server Availability and Security Through Failure-Oblivious Computing

  2004cited by this paper
• A network worm vaccine architecture

  2003cited by this paper
• An infrastructure for adaptive dynamic optimization

  2003cited by this paper
• Viral vectors for gene therapy: the art of turning infectious agents into vehicles of therapeutics

  2001cited by this paper
• N-VERSION PROGRAMMINC: A FAULT-TOLERANCE APPROACH TO RELlABlLlTY OF SOFTWARE OPERATlON

  1995cited by this paper
• An experimental evaluation of the assumption of independence in multiversion programming

  1986cited by this paper

• Video Game Procedural Content Generation Through Software Transplantation

  2025cites this paper
• TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair

  2022cites this paper
• APRSuite: A suite of components and use cases based on categorical decomposition of automatic program repair techniques and tools

  2020cites this paper
• Search-based test case implantation for testing untested configurations

  2019cites this paper
• IntRepair: Informed Repairing of Integer Overflows

  2018cites this paper
• Automated Test Case Implantation to Test Untested Configurations: A Cost-Effective Search-Based Approach

  2018cites this paper
• Practical Integer Overflow Prevention

  2017cites this paper
• N ov 2 01 7 Practical Integer Overflow Prevention

  2017cites this paper
• Automatic inference of code transforms for patch generation

  2017cites this paper
• Cloud Intrusion Detection and Repair (CIDAR)

  2016influential citation
• Automatic patch generation by learning correct code

  2016cites this paper
• Automated software transplantation

  2015cites this paper
• Horizontal Code Transfer via Program Fracture and Recombination

  2015cites this paper
• An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

  2015influential citation
• Staged Program Repair in SPR

  2015cites this paper
• Automatic Discovery and Patching of Buffer and Integer Overflow Errors

  2015influential citation
• Automatic patch generation via learning from successful human patches

  2015cites this paper
• Automatic Software Diversity in the Light of Test Suites

  2015cites this paper
• Automatic error elimination by horizontal code transfer across multiple applications

  2015cites this paper
• Prophet : Automatic Patch Generation via Learning from Successful Patches

  2015cites this paper
• Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

  2015influential citation