Stem repair$ (all stems)

142 papers:

CASE-2015-AcarS #design #fault

Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs (ANA, KWS), pp. 825–830.

DAC-2015-WangHWLL #assembly #memory management #named

RADAR: a case for retention-aware DRAM assembly and repair in future FGR DRAM memory (YW, YH, CW, HL, XL), p. 6.

PODS-2015-FaginKK #complexity

Dichotomies in the Complexity of Preferred Repairs (RF, BK, PGK), pp. 3–15.

VLDB-2015-OrtonaOBF #named #program repair

WADaR: Joint Wrapper and Data Repair (SO, GO, MB, TF), pp. 1996–2007.

ICSME-2015-SumiHHK #automation #program repair #towards

Toward improving graftability on automated program repair (SS, YH, KH, SK), pp. 511–515.

DHM-HM-2015-IkemotoMTGH

Effects of Spray Gun Handling of Automobile Repair on Carrier of Car Mechanic (SI, KM, YT, AG, HH), pp. 289–298.

ESEC-FSE-2015-LongR #program repair #staged #synthesis

Staged program repair with condition synthesis (FL, MR), pp. 166–178.

ESEC-FSE-2015-SmithBGB #automation #program repair

Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.

ICSE-v1-2015-MechtaevYR #named #program repair

DirectFix: Looking for Simple Program Repairs (SM, JY, AR), pp. 448–458.

ICSE-v1-2015-TanR #automation #named

relifix: Automated Repair of Software Regressions (SHT, AR), pp. 471–482.

ICSE-v2-2015-PeiFNM #automation #development #ide #program repair

Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.

CAV-2015-ReinkingP #approach #program repair

A Type-Directed Approach to Program Repair (AR, RP), pp. 511–517.

CAV-2015-KneussKK #deduction #program repair

Deductive Program Repair (EK, MK, VK), pp. 217–233.

ISSTA-2015-KhoshnoodKW #concurrent #constraints #debugging #named #theorem proving

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs (SK, MK, CW), pp. 165–176.

PODS-2014-FaginKRV #consistency #information management #nondeterminism

Cleaning inconsistencies in information extraction via prioritized repairs (RF, BK, FR, SV), pp. 164–175.

SIGMOD-2014-WangT #program repair #towards

Towards dependable data repairing with fixing rules (JW, NT), pp. 457–468.

VLDB-2014-SongCY0 #constraints

Repairing Vertex Labels under Neighborhood Constraints (SS, HC, JXY, LC), pp. 987–998.

FASE-2014-PeiFNM #automation #contract #program repair

Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.

PLDI-2014-LongSR #automation #fault #runtime

Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.

PLDI-2014-SurendranRCMS #parallel #source code #testing

Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.

SAS-2014-SamantaOE #automation #cost analysis #program repair

Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.

FM-2014-BonakdarpourHK #authentication #automation #knowledge-based #protocol

Knowledge-Based Automated Repair of Authentication Protocols (BB, RH, SSK), pp. 132–147.

SEFM-2014-AlrajehC #automation #composition #detection #specification

Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.

CHI-2014-JacksonK #human-computer #reuse

Breakdown, obsolescence and reuse: HCI and the art of repair (SJJ, LK), pp. 449–458.

CSCW-2014-RosnerA #design

Designing for repair?: infrastructures and materialities of breakdown (DKR, MGA), pp. 319–331.

CIKM-2014-SegerenGC #constraints #named

CONDOR: A System for CONstraint DiscOvery and Repair (JS, DG, FC), pp. 2087–2089.

ICSE-2014-DouCW #ambiguity #detection #smell #spreadsheet

Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation (WD, SCC, JW), pp. 848–858.

ICSE-2014-GopinathKSC #data-driven

Data-guided repair of selection statements (DG, SK, DS, SC), pp. 243–253.

ICSE-2014-KaleeswaranTKO #automation #named #synthesis

MintHint: automated synthesis of repair hints (SK, VT, AK, AO), pp. 266–276.

ICSE-2014-Monperrus #automation #bibliography #evaluation #generative #problem

A critical review of “automatic patch generation learned from human-written patches”: essay on the problem statement and the evaluation of automatic software repair (MM), pp. 234–242.

ICSE-2014-QiMLDW #automation #program repair #random

The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.

SPLC-2014-BarreirosM #approach

A cover-based approach for configuration repair (JB, AMDM), pp. 157–166.

ICST-2014-AssiriB #assessment #automation #quality

An Assessment of the Quality of Automated Program Operator Repair (FYA, JMB), pp. 273–282.

ISSTA-2014-AlkhalafAB #difference #semantics #validation

Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.

ISSTA-2014-LinK #automation #concurrent #multi #satisfiability #source code #thread #using

Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.

ECSA-2013-MairH #architecture #towards

Towards Extensive Software Architecture Erosion Repairs (MM, SH), pp. 299–306.

ASE-2013-MacedoGC

Model repair and transformation with Echo (NM, TG, AC), pp. 694–697.

ASE-2013-WeimerFF #adaptation #equivalence #modelling #program repair

Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.

CASE-2013-JuLXA #evaluation #identification #performance #quality

Integrated model of productivity and quality in serial production lines with repairs: Performance evaluation and bottleneck identification (FJ, JL, GX, JA), pp. 783–788.

DAC-2013-JiangYXCE #3d #effectiveness #on the #performance

On effective and efficient in-field TSV repair for stacked 3D ICs (LJ, FY, QX, KC, BE), p. 6.

DATE-2013-LefterVTEHC #3d #integration #memory management #question

Is TSV-based 3D integration suitable for inter-die memory repair? (ML, GRV, MT, ME, SH, SDC), pp. 1251–1254.

VLDB-2013-KornSSY #on the #problem

On Repairing Structural Problems In Semi-structured Data (FK, BS, DS, SY), pp. 601–612.

ICSM-2013-QiML #automation #performance #program repair #testing

Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.

CAiSE-2013-MaggiBA #approach #knowledge-based

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps (FMM, RPJCB, WMPvdA), pp. 433–448.

ICSE-2013-NguyenQRC #analysis #named #program repair #semantics

SemFix: program repair via semantic analysis (HDTN, DQ, AR, SC), pp. 772–781.

ASPLOS-2013-SchulteDWF #assembly #automation #embedded #source code

Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.

CAV-2013-EssenJ #program repair

Program Repair without Regret (CvE, BJ), pp. 896–911.

ICST-2013-LeottaCRS #case study #industrial #locality #testing #web

Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization (ML, DC, FR, CS), pp. 487–488.

ISSTA-2013-NijjarB

Data model property inference and repair (JN, TB), pp. 202–212.

ISSTA-2013-QiMLW #automation #effectiveness #fault #locality #program repair #using

Using automated program repair for evaluating the effectiveness of fault localization techniques (YQ, XM, YL, CW), pp. 191–201.

ISSTA-2013-ZhangLE #automation #evolution #user interface #workflow

Automatically repairing broken workflows for evolving GUI applications (SZ, HL, MDE), pp. 45–55.

ASE-2012-RederE #consistency #design #modelling #nondeterminism

Computing repair trees for resolving inconsistencies in design models (AR, AE), pp. 220–229.

DATE-2012-HsuingCG

Salvaging chips with caches beyond repair (HH, BC, SKG), pp. 1263–1268.

DATE-2012-JiangXE #3d #effectiveness #on the

On effective TSV repair for 3D-stacked ICs (LJ, QX, BE), pp. 793–798.

TACAS-2012-ZaeemGKM #data type #satisfiability #using

History-Aware Data Structure Repair Using SAT (RNZ, DG, SK, KSM), pp. 2–17.

ICSM-2012-QiML #automation #performance #scalability #source code #using

Making automatic repair for large-scale programs more efficient using weak recompilation (YQ, XM, YL), pp. 254–263.

FM-2012-YangKK #formal method #lightweight #using

Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.

CSCW-2012-JacksonPK #development #maintenance

Repair worlds: maintenance, repair, and ICT for development in rural Namibia (SJJ, AP, GK), pp. 107–116.

OOPSLA-2012-LogozzoB #automation #composition #program repair

Modular and verified automatic program repair (FL, TB), pp. 133–146.

RE-2012-FuPYMZ #monitoring #requirements #self

Stateful requirements monitoring for self-repairing socio-technical systems (LF, XP, YY, JM, WZ), pp. 121–130.

ICSE-2012-GouesDFW #automation #debugging #program repair

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.

ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using

Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.

CASE-2011-PinhaQC #scheduling

Optimal scheduling of a repair shipyard based on Supervisory Control Theory (DCP, MHdQ, JERC), pp. 39–44.

DAC-2011-Li #memory management

Rethinking memory redundancy: optimal bit cell repair for maximum-information storage (XL0), pp. 316–321.

SIGMOD-2011-FanLMTY #interactive #program repair

Interaction between record matching and data repairing (WF, JL, SM, NT, WY), pp. 469–480.

VLDB-2011-BorisovB #approach #declarative #detection #towards

Proactive Detection and Repair of Data Corruption: Towards a Hassle-free Declarative Approach with Amulet (NB, SB), pp. 1403–1408.

VLDB-2011-YakoutENOI #program repair

Guided data repair (MY, AKE, JN, MO, IFI), pp. 279–289.

TACAS-2011-BartocciGKRS #probability

Model Repair for Probabilistic Systems (EB, RG, PK, CRR, SAS), pp. 326–340.

TACAS-2011-GopinathMK #program repair #satisfiability #using

Specification-Based Program Repair Using SAT (DG, MZM, SK), pp. 173–188.

CSCW-2011-MooreCK #interactive #internet #query

Three sequential positions of query repair in interactions with internet search engines (RJM, EFC, RGPK), pp. 415–424.

IDGD-2011-ZhangM #trust

Once Broken, Never Fixed? The Impact of Culture and Medium on Repairing Trust in CMC (QZ, NM), pp. 341–350.

CIKM-2011-LianLC #consistency #database #low cost #probability

Cost-efficient repair in inconsistent probabilistic databases (XL, YL, LC), pp. 1731–1736.

ICSE-2011-DanielDGJJMNTM #named #testing

ReAssert: a tool for repairing broken unit tests (BD, DD, TG, VJ, JJ, DM, JN, SHT, DM), pp. 1010–1012.

ICST-2011-MalikSK #constraints #data type #debugging #using

Constraint-Based Program Debugging Using Data Structure Repair (MZM, JHS, SK), pp. 190–199.

LICS-2011-BenediktPR #specification

Regular Repair of Specifications (MB, GP, CR), pp. 335–344.

ASE-2010-ManiSDS #automation #fault

Automated support for repairing input-model faults (SM, VSS, PD, SS), pp. 195–204.

ASE-2010-SchulteFW #assembly #automation #evolution #program repair

Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.

DAC-2010-ConstantinidesA #debugging #testing #using

Using introspective software-based testing for post-silicon debug and repair (KC, TMA), pp. 537–542.

SIGMOD-2010-YakoutENO #named #program repair

GDR: a system for guided data repair (MY, AKE, JN, MO), pp. 1223–1226.

VLDB-2010-BeskalesIG #constraints #dependence #functional

Sampling the Repairs of Functional Dependency Violations under Hard Constraints (GB, IFI, LG), pp. 197–207.

ICSM-2010-MirzaAghaeiPP #automation #evolution #testing

Automatically repairing test cases for evolving method declarations (MM, FP, MP), pp. 1–5.

KR-2010-GebserGISSTV #biology #consistency #network #nondeterminism #predict #programming #scalability #set

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).

ECOOP-2010-ZaeemK #alloy #contract #data type #using

Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.

ICSE-2010-HussainC #data type

Dynamic symbolic data structure repair (IH, CC), pp. 215–218.

ICSE-2010-LewisW #fault #monitoring #runtime #using

Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.

ICST-2010-HuangCM #algorithm #search-based #testing #user interface #using

Repairing GUI Test Suites Using a Genetic Algorithm (SH, MBC, AMM), pp. 245–254.

ISSTA-2010-DanielGM #execution #on the #symbolic computation #using

On test repair using symbolic execution (BD, TG, DM), pp. 207–218.

WICSA-ECSA-2009-BucchiaronePVR #modelling #self #using #verification

Self-Repairing systems modeling and verification using AGG (AB, PP, CV, OR), pp. 181–190.

ASE-2009-DanielJDM #named #testing

ReAssert: Suggesting Repairs for Broken Unit Tests (BD, VJ, DD, DM), pp. 433–444.

ASE-2009-MalikGEK #automation #data type #debugging #using

A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.

ASE-2009-WangM #approach #configuration management #requirements #self

Self-Repair through Reconfiguration: A Requirements Engineering Approach (YW, JM), pp. 257–268.

VLDB-2009-BeskalesSIB #detection #modelling #query

Modeling and Querying Possible Repairs in Duplicate Detection (GB, MAS, IFI, SBD), pp. 598–609.

HIMI-II-2009-YoshidaH #chat #multi

Input Text Repairing for Multi-lingual Chat System (KY, FH), pp. 210–217.

KEOD-2009-LocoroM #algorithm #ambiguity #ontology #word

A Correspondence Repair Algorithm based on Word Sense Disambiguation and Upper Ontologies (AL, VM), pp. 239–246.

RecSys-2009-Schubert #knowledge-based #personalisation #query #recommendation

Personalized query relaxations and repairs in knowledge-based recommendation (MS), pp. 409–412.

ISSTA-2009-SinhaSGJKH #exception #fault #java #locality #runtime

Fault localization and repair for Java runtime exceptions (SS, HS, CG, SJ, MK, MJH), pp. 153–164.

DATE-2008-ChattopadhyayZ #debugging #online

Built-in Clock Skew System for On-line Debug and Repair (AC, ZZ), pp. 248–251.

ICALP-C-2008-DingDYCC #question

Could SFLASH be Repaired? (JD, VD, BYY, CHOC, CMC), pp. 691–701.

ICSE-2008-ElkarabliehK #data type #named

Juzi: a tool for repairing complex data structures (BE, SK), pp. 855–858.

ICSE-2008-SicardBP #architecture #component #self #using

Using components for architecture-based management: the self-repair case (SS, FB, NDP), pp. 101–110.

ICST-2008-HarmanA #automation #program repair #testing #web

Automated Session Data Repair for Web Application Regression Testing (MH, NA), pp. 298–307.

ICST-2008-KolovosPP #consistency #detection #modelling #nondeterminism

Detecting and Repairing Inconsistencies across Heterogeneous Models (DSK, RFP, FP), pp. 356–364.

ASE-2007-ElkarabliehGSK #data type

Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.

CHI-2007-RanjanBB #automation #visual notation

Dynamic shared visual spaces: experimenting with automatic camera control in a remote repair task (AR, JPB, RB), pp. 1177–1186.

OOPSLA-2007-ElkarabliehKVM #named #performance #static analysis

Starc: static analysis for efficient repair of complex data (BE, SK, DV, KSM), pp. 387–404.

ICLP-2007-GrecoM #consistency #database #query #semantics

Querying and Repairing Inconsistent Databases Under Three-Valued Semantics (SG, CM), pp. 149–164.

CASE-2006-JinLXS #reliability

Computerized Repairable Inventory Management with Reliability Growth and System Installations Increase (TJ, HL, ZX, CHS), pp. 336–341.

DAC-2006-MoffittNMP #constraints

Constraint-driven floorplan repair (MDM, ANN, ILM, MEP), pp. 1103–1108.

DAC-2006-WagnerBA #design #logic

Shielding against design flaws with field repairable control logic (IW, VB, TMA), pp. 344–347.

SIGMOD-2006-ChidlovskiiRB #analysis #performance #self

Documentum ECI self-repairing wrappers: performance analysis (BC, BR, MB), pp. 708–717.

SEFM-2006-AlpuenteBFR #automation

A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.

ICEIS-DISI-2006-CaropreseGZ #consistency #database #dependence #functional #query

Merging, Repairing and Querying Inconsistent Databases with Functional and Inclusion Dependencies (LC, SG, EZ), pp. 38–45.

CGO-2006-ZhangCT #framework #optimisation #self

A Self-Repairing Prefetcher in an Event-Driven Dynamic Optimization Framework (WZ, BC, DMT), pp. 50–64.

CAV-2006-GriesmayerBC #c #source code

Repair of Boolean Programs with an Application to C (AG, RB, BC), pp. 358–371.

CASE-2005-ViswanathanF

Forecasting of service arrivals in a repair center (SV, YF), pp. 285–289.

SIGMOD-2005-BohannonFFR #constraints #cost analysis #effectiveness #heuristic

A Cost-Based Model and Effective Heuristic for Repairing Constraints by Value Modification (PB, MF, WF, RR), pp. 143–154.

CHI-2005-BlackmonKP #effectiveness #navigation #predict #problem

Tool for accurately predicting website navigation problems, non-problems, problem severity, and effectiveness of repairs (MHB, MK, PGP), pp. 31–40.

ICSE-2005-DemskyR #data type #reasoning #using

Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.

CAV-2005-JobstmannGB #game studies #program repair

Program Repair as a Game (BJ, AG, RB), pp. 226–238.

DocEng-2004-ScheffczykRBS #consistency #repository

Managing inconsistent repositories via prioritized repairs (JS, PR, UMB, LS), pp. 137–146.

CIAA-2004-FerroOG #fault #finite

Regional Finite-State Error Repair (MVF, JO, JGG), pp. 269–280.

DATE-2003-NicolaidisAB #configuration management #self

Optimal Reconfiguration Functions for Column or Data-bit Built-In Self-Repair (MN, NA, SB), pp. 10590–10595.

CHI-2003-BlackmonKP #problem #usability #web

Repairing usability problems identified by the cognitive walkthrough for the web (MHB, MK, PGP), pp. 497–504.

OOPSLA-2003-DemskyR #automation #data type #detection #fault

Automatic detection and repair of errors in data structures (BD, MCR), pp. 78–95.

ICSE-2003-NentwichEF #consistency

Consistency Management with Repair Actions (CN, WE, AF), pp. 455–464.

WICSA-2002-ChengGSSSS #architecture #self #using

Using Architectural Style as a Basis for System Self-repair (SWC, DG, BRS, JPS, BS, PS), pp. 45–59.

CIAA-2002-FerroDA #fault

Searching for Asymptotic Error Repair (MVF, VMD, MAA), pp. 276–281.

SEKE-2002-SchmerlG #architecture #design #self

Exploiting architectural design knowledge to support self-repairing systems (BRS, DG), pp. 241–248.

ICML-2001-SandM #estimation #modelling #using

Repairing Faulty Mixture Models using Density Estimation (PS, AWM), pp. 457–464.

ICLP-2001-GrecoGZ #approach #consistency #database #integration #logic programming #query

A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases (GG, SG, EZ), pp. 348–364.

DATE-2000-Zorian #embedded #scalability #trade-off

Yield Improvement and Repair Trade-Off for Large Embedded Memories (YZ), pp. 69–70.

IWPC-2000-TranGLH #architecture #open source

Architectural Repair of Open Source Software (JBT, MWG, EHSL, RCH), pp. 48–59.

CIAA-2000-FerroDR #fault

Regional Least-Cost Error Repair (MVF, VMD, FJR), pp. 293–301.

DATE-1999-ChakrabortyGBKM #design #physics #self

A Physical Design Tool for Built-in Self-Repairable Static RAMs (KC, AG, MB, SK, PM), p. 714–?.

CHI-1998-Rocco #trust

Trust Breaks Down in Electronic Contexts But Can Be Repaired by Some Initial Face-to-Face Contact (ER), pp. 496–502.

ICSM-2000-Wallnau #component #coordination #legacy

Repairing coordination mismatches among legacy components (KCW), p. 302.

CC-1996-ErtlK #anti #dependence

Removing Anti Dependences by Repairing (MAE, AK), pp. 33–43.

HCI-ACS-1993-ZimolongK #interactive #maintenance

Interactive Support System for Maintenance and Repair: Diagnosis Strategies (BZ, UK), pp. 86–89.

KR-1992-FriedrichN #modelling

Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems (GF, WN), pp. 489–498.

DAC-1990-WeyDC #design

Design of Repairable and Fully Diagnosable Folded PLAs for Yield Enhancement (CLW, JD, TYC), pp. 327–332.

DAC-1989-HemmadyR #on the

On the Repair of Redundant RAMs (VGH, SMR), pp. 710–713.

SCC-1982-JohnsonR #fault #semantics

Semantic Errors — Diagnosis and Repair (CWJ, CR), pp. 88–97.