29,659 Hits in 9.4 sec

Constraint-based program debugging using data structure repair

Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sarfraz Khurshid
2011 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation  
This paper presents an approach that abstracts concrete repair actions that a routine performs to repair an erroneous state into a sequence of program statements that perform the same actions using variables  ...  Experimental results using a library data structure as well as two applications demonstrate the effectiveness of our approach in enabling repair of faulty code  ...  performs three basic steps. (1) It uses data structure repair to transform the erroneous output into a program state that satisfies the structural invariants. ( 2) It abstracts the set of concrete repair  ... 
doi:10.1109/icst.2011.65 dblp:conf/icst/MalikSK11 fatcat:c64i3yozhbfpdl3vjmy42iqh3i

VuRLE: Automatic Vulnerability Detection and Repair by Learning from Examples [chapter]

Siqi Ma, Ferdian Thung, David Lo, Cong Sun, Robert H. Deng
2017 Lecture Notes in Computer Science  
To assist developers to deal with multiple types of vulnerabilities, we propose a new tool, called VuRLE, for automatic detection and repair of vulnerabilities.  ...  VuRLE 1) learns transformative edits and their contexts (i.e., code characterizing edit locations) from examples of vulnerable codes and their corresponding repaired codes; 2) clusters similar transformative  ...  To generalize the patterns, VuRLE abstracts concrete identifier names and types appearing in the patterns into placeholders.  ... 
doi:10.1007/978-3-319-66399-9_13 fatcat:ev7e4r2trvhq5duuxkh64fmcim

Consistent change propagation within models

Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez-Herrejon, Alexander Egyed
2020 Journal of Software and Systems Modeling  
Our approach not only suggests changes to repair a given inconsistency but also changes to repair inconsistencies caused by the aforementioned repair.  ...  A comparison with two versioned models shows that our approach identifies actual repair sequences that developers had chosen.  ...  Those approaches come up with abstract repairs, which can be transformed to concrete repairs by using [13, 23] .  ... 
doi:10.1007/s10270-020-00823-4 pmid:34720801 pmcid:PMC8550261 fatcat:v2lnhdn2unfd7bdvjgzt5spvja

A Case for Automated Debugging Using Data Structure Repair

Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid
2009 2009 IEEE/ACM International Conference on Automated Software Engineering  
A key challenge to embodying this insight into a mechanical technique arises due to the difference in the concrete level of the program states and the abstract level of the program code: repair actions  ...  We envision a tool-chain where a data structure repair tool generates repair logs that are used by a fault localization tool and a repair abstraction tool that apply in synergy to not only identify the  ...  We envision a non-conventional use of data structure repair in this paper, namely for automated debugging through a transformation of concrete repair actions into source code which represents a likely  ... 
doi:10.1109/ase.2009.92 dblp:conf/kbse/MalikGEK09 fatcat:z2fd2qv62vaztg346tdvov73fi

Numeric Planning via Search Space Abstraction (Extended Abstract)

Leon Illanes, Sheila A. McIlraith
2016 Symposium on Combinatorial Search  
of the form n ← n+c, where n ∈ N and c ∈ R, but our approach generalizes in a straightforward manner.  ...  Techniques for dealing with transformations over abstracted numeric variables have been extensively studied within the field of Abstract Interpretation for Static Analysis of Software (Cousot and Cousot  ... 
dblp:conf/socs/IllanesM16 fatcat:qi5ri4tgybd4phagvid7eryhqu

Repair with On-The-Fly Program Analysis [chapter]

Robert Könighofer, Roderick Bloem
2013 Lecture Notes in Computer Science  
Our approach computes repair candidates and refines them based on counterexamples. It can be used with various verification techniques and specification formats to check a candidate's correctness.  ...  This paper presents a novel automatic repair approach for incorrect programs. It applies formal methods and analyzes program behavior only on demand.  ...  The concrete values of the template parameters k can be mapped back to concrete expressions using the repair templates. This gives a candidate program that can be checked.  ... 
doi:10.1007/978-3-642-39611-3_11 fatcat:glpq4h5z4vbfrpwxodh3bhp36q

Repairing Structurally Complex Data [chapter]

Sarfraz Khurshid, Iván García, Yuk Lai Suen
2005 Lecture Notes in Computer Science  
Each repair action assigns some value to a field of an object in the structure.  ...  Juzi can repair structures with a hundred nodes-half of which have some field that needs repair-in less than one second.  ...  Acknowledgments We would like to thank the anonymous reviewers and Darko Marinov for detailed comments on a previous draft.  ... 
doi:10.1007/11537328_12 fatcat:ahvpucsxmvbkxikueur5jxfypu

Path-Based Program Repair

Heinz Riener, Rüdiger Ehlers, Görschwin Fey
2015 Electronic Proceedings in Theoretical Computer Science  
We propose a path-based approach to program repair for imperative programs.  ...  In contrast to prior work, our approach is complete for programs with finitely many control-flow paths, i.e., the program is repaired if and only if it can be repaired at the specified fault location.  ...  We claim that automated bit-width abstraction refinement for synthesis is in reach such that a synthesize-and-generalize approach is possible: first bitwidths are abstracted to a small number of BDD variables  ... 
doi:10.4204/eptcs.178.3 fatcat:q4czrgm23bgidpxdxl245fylxa

Example-Based Vulnerability Detection and Repair in Java Code [article]

Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Danfeng Yao, Na Meng
2022 arXiv   pre-print
To overcome both limitations, we created Seader-an example-based approach to detect and repair security-API misuses.  ...  With these patterns, we applied SEADER to a program benchmark that has 86 known vulnerabilities. Seader detected vulnerabilities with 95% precision, 72% recall, and82% F-score.  ...  Meanwhile, the secure code S invokes the same API with key-a generated unpredictable value.  ... 
arXiv:2203.09009v2 fatcat:c7j33lmhgfgf7a2ih37i5exgpq

Incorporating Data Context to Cost-Effectively Automate End-to-End Data Wrangling

Martin Koehler, Edward Abel, Alex Bogatu, Cristina Civili, Lacramioara Mazilu, Nikolaos Konstantinou, Alvaro Fernandes, John Keane, Leonid Libkin, Norman W. Paton
2019 IEEE Transactions on Big Data  
, value format transformation, data repair, and mapping generation and selection to optimise the accuracy, consistency and relevance of the result; and (iv) we evaluate the approach with real estate data  ...  Towards this goal, in the paper we: (i) introduce a notion of data context, which associates portions of a target schema with extensional data of types that are commonly available; (ii) define a scalable  ...  Thus, we propose two additional steps in the abstract algorithm generating the candidate transformed values (line 9) and fusing the candidate values (line 10).  ... 
doi:10.1109/tbdata.2019.2907588 fatcat:eqwqyfehebazzfdrfv3t2nqv74

A Feature-Based Classification of Model Repair Approaches

Nuno Macedo, Tiago Jorge, Alcino Cunha
2017 IEEE Transactions on Software Engineering  
This paper proposes a feature-based classification system for model repair techniques, based on an systematic review of previously proposed approaches.  ...  As the popularity and application scenarios of MDE expanded, a variety of different techniques were proposed to address these tasks in specific contexts.  ...  Unlike Badger, where a plan may suggest a concrete value to be assigned to some property, here all repair actions are abstract.  ... 
doi:10.1109/tse.2016.2620145 fatcat:hreryhhoxzdtva2i2ta7ipcmuq

Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions [article]

Wil Thomason, Hadas Kress-Gazit
2021 arXiv   pre-print
We propose an approach to automatically construct and continuously improve a symbolic abstraction of a robot action via observations of the robot performing the action.  ...  This approach, called automatic abstraction repair, allows symbolic abstractions to be initially incorrect or incomplete and converge toward a correct model over time.  ...  Generalizing individual observations will improve the observation efficiency of our approach to abstraction repair, reduce the need to store a large set of observations to compute abstraction error, and  ... 
arXiv:2105.06537v1 fatcat:seblzjizbjek3gvymddxkacu6i

Generating attribute grammar-based bidirectional transformations from rewrite rules

Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk
2014 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14  
These inverted rewrite rules can then be extended with additional rules based on characteristics of the source language grammar and forward transformations to create, under certain circumstances, a total  ...  In this paper we show how rewrite rules (with non-linear right hand sides) that specify a forward/get transformation can be inverted to specify a partial backward/put transformation.  ...  To address this, the get transformation adds links on generated abstract (sub) trees that refer back to the respective concrete (sub) tree that generated them.  ... 
doi:10.1145/2543728.2543745 dblp:conf/pepm/MartinsSFW14 fatcat:uxvtrpe7h5b5lku3pdwbiwuogi

Automatic Software Repair

Martin Monperrus
2018 ACM Computing Surveys  
This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention.  ...  It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.  ...  The prediction also uses "interesting value mapping pairs" (IVMP) which are concrete values that enable test cases to pass (aka value replacement [67] and angelic values [25, 34] ).  ... 
doi:10.1145/3105906 fatcat:zbrbc6e22rdeja4vfrx7j57g5e

Deductive Program Repair [chapter]

Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
2015 Lecture Notes in Computer Science  
We present an approach to program repair and its application to programs with recursive functions over unbounded data types.  ...  Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to guide synthesis.  ...  This concrete output is then abstracted to various possible expressions to yield candidate repairs, which are filtered with bounded verification. In their approach, Chandra et al.  ... 
doi:10.1007/978-3-319-21668-3_13 fatcat:eqx6h243u5gh7oqdig2roliame
« Previous Showing results 1 — 15 out of 29,659 results