8,928 Hits in 6.4 sec

Expressive security policy rules using Layered Conceptual Graphs

Madalina Croitoru, Liang Xiao, David Dupplaw, Paul Lewis
2008 Knowledge-Based Systems  
We propose a Conceptual Graphs based language that will allow us to represent the structure of information and to employ reasoning for consistency checking.  ...  A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment.  ...  We also to thank Javier Vincente Robledo, Srinandan Dasmahapatra, Andrew Peet, Horacio Gonzalez-Velez and Alex Gibb for useful feedback on earlier versions of this paper.  ... 
doi:10.1016/j.knosys.2007.11.006 fatcat:briioohumrhxflvxypfabnvvai

Adding Rule-Based Model Transformation to Modelling Languages in MetaEdit+

Simon Van Mierlo, Hans Vangheluwe
2012 Electronic Communications of the EASST  
We will demonstrate how to add rule-based operational semantics to modelling languages in MetaEdit+. In our approach, transformation rules are visually created in MetaEdit+.  ...  Currently, the MetaEdit+ tool does not natively support rule-based model-to-model transformation.  ...  A similar method was used in constructing the tool booggie [HSH09] for rule-based design-space exploration.  ... 
doi:10.14279/tuj.eceasst.54.781 dblp:journals/eceasst/MierloV12 fatcat:bgwq4434krecvcpki6y7r7oopi

History Driven Program Repair

Xuan Bach D. Le, David Lo, Claire Le Goues
2016 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER)  
Effective automated program repair techniques have great potential to reduce the costs of debugging and maintenance.  ...  Previously proposed automated program repair (APR) techniques often follow a generate-and-validate and testcase-driven procedure: They first randomly generate a large pool of fix candidates and then exhaustively  ...  ACKNOWLEDGMENT We would like to thank Just et al. for releasing the Defect4J dataset [22] and Monperrus et al. for releasing their implementation of GenProg 8 which works for Java programs [14] .  ... 
doi:10.1109/saner.2016.76 dblp:conf/wcre/LeLG16 fatcat:lrj6rwvur5fhpn7y5u2qedezxm

Non deterministic Repairable Fault Trees for computing optimal repair strategy

Marco Beccuti, Daniele Codetta-Raiteri, Giuliana Franceschinis, Serge Haddad
2008 Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools  
The formalism is rather powerful allowing to specify which failure events are observable, whether local repair or global repair can be applied, and the resources needed to start a repair action.  ...  A software framework is proposed in order to perform in automatic way the derivation of an MDP from a NdRFT model, and to deal with the solution of the MDP.  ...  In finite MDPs, efficient solution techniques have been developed to this purpose [17] and different tools are based on this theory (see for instance the experiment section). NdRFT semantics.  ... 
doi:10.4108/icst.valuetools2008.4411 dblp:conf/valuetools/BeccutiRFH08 fatcat:b7prkvc45jcxdm47b7sj4ytmu4

On Multiple Semantics for Declarative Database Repairs [article]

Amir Gilad, Daniel Deutch, Sudeepa Roy
2020 arXiv   pre-print
We study the problem of database repairs through a rule-based framework that we refer to as Delta Rules.  ...  Delta Rules are highly expressive and allow specifying complex, cross-relations repair logic associated with Denial Constraints, Causal Rules, and allowing to capture Database Triggers of interest.  ...  For step semantics, we also devise an efficient algorithm based on the structure of the provenance graph, traversing it in topological order and choosing tuples for the result set as we go.  ... 
arXiv:2004.05065v2 fatcat:5doxiclltnhunmbfhwr47cib4a

Automatic Repair of Semantic Defects Using Restraint Mechanisms

Yukun Dong, Li Zhang, Shanchen Pang, Wenjing Yin, Mengying Wu, Meng Wu, Haojie Li
2020 Symmetry  
This paper proposes an automatic method for repairing semantic defects in Java programs based on restricted sets which refer to the interval domains of related variables that can trigger program semantic  ...  Program defect repair faces serious challenges in that such repairs require considerable manpower, and the existing automatic repair approaches have difficulty generating correct patches efficiently.  ...  repair precision and efficiency.  ... 
doi:10.3390/sym12091563 fatcat:zwhdr6f3ojfc7nkiugxs5r6uf4

Assume, Guarantee or Repair [chapter]

Hadar Frenkel, Orna Grumberg, Corina Pasareanu, Sarai Sheinvald
2020 Lecture Notes in Computer Science  
Our method, which consists of a learning-based approach to assume-guarantee reasoning, performs verification and repair simultaneously: in every iteration, AGR either makes another step towards proving  ...  We implemented our algorithm and evaluated it on various examples. Our experiments present compact proofs of correctness and quick repairs.  ...  This research was partially supported by the Technion Hiroshi Fujiwara Cyber Security Research Center, the Israel National Cyber Directorate and the Israel Science Foundation (ISF)  ... 
doi:10.1007/978-3-030-45190-5_12 fatcat:fw6svdo245bdbih3aujibjszda

Multi-Model Evolution through Model Repair

Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
2021 Journal of Object Technology  
At the same time, these models are subject to frequent changes, and as a result, maintaining their global consistency over time becomes an important issue in model management in general and Model-Driven  ...  In this feature model, we further identify the central role of model repair as an implementation pattern for (multi-)model evolution.  ...  An example of a rule-based approach combining graph transformation and user interaction is found in (Nassar et al. 2017 .  ... 
doi:10.5381/jot.2021.20.1.a2 fatcat:u45ymv6chrdrlbitoiyayhx6ba

Repairing DoS Vulnerability of Real-World Regexes [article]

Nariyoshi Chida, Tachio Terauchi
2022 arXiv   pre-print
This paper presents the first PBE repair method that is guaranteed to generate only invulnerable regexes.  ...  Therefore, we first give a novel formal semantics and complexity of backtracking matching algorithms for real-world regexes, and with them, give the first formal definition of ReDoS vulnerability for real-world  ...  This work was supported by JSPS KAKENHI Grant Numbers 17H01720, 18K19787, 20H04162, and 20K20625.  ... 
arXiv:2010.12450v3 fatcat:lk45nugqhjg7lgkohcm23tkeu4

Model repair and transformation with Echo

Nuno Macedo, Tiago Guimaraes, Alcino Cunha
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
This paper describes Echo, a tool that aims at simplifying this task by automating inconsistency detection and repair using a solver based engine.  ...  A key and arduous task in this development method is to keep all such models consistent, both with their meta-models (and the respective constraints) and among themselves.  ...  This paper presents Echo, a tool for model repair and transformation based on model finding.  ... 
doi:10.1109/ase.2013.6693135 dblp:conf/kbse/MacedoGC13 fatcat:s4qcl4de7rezhlnwlazaykhyj4

Cleaning structured event logs: A graph repair approach

Jianmin Wang, Shaoxu Song, Xuemin Lin, Xiaochen Zhu, Jian Pei
2015 2015 IEEE 31st International Conference on Data Engineering  
In this paper, we propose a graph repair approach for 1) detecting unsound structure, and 2) repairing inconsistent event name.  ...  We argue that such structural information enhances not only the accuracy of repairing inconsistent events but also the computation efficiency.  ...  Repairing accuracies of our exact approaches (greater than 90% in all the tests) are significantly higher than the state-of-the-art sequence-based [11] and graph-based [27] methods.  ... 
doi:10.1109/icde.2015.7113270 dblp:conf/icde/0001SLZP15 fatcat:2szwh4wvovbddi4v4x53ok354i

HoloClean: Holistic Data Repairs with Probabilistic Inference [article]

Theodoros Rekatsinas, Xu Chu, Ihab F. Ilyas, Christopher Ré
2017 arXiv   pre-print
We show that HoloClean scales to instances with millions of tuples and find data repairs with an average precision of ~90% and an average recall of above ~76% across a diverse array of datasets exhibiting  ...  HoloClean unifies existing qualitative data repairing approaches, which rely on integrity constraints or external data sources, with quantitative data repairing methods, which leverage statistical properties  ...  Finally, for Food and Physician HoloClean obtains F1-scores of 0.783 and 0.897, respectively. We now turn our attention to competing methods.  ... 
arXiv:1702.00820v1 fatcat:a2a5iroro5e2beqslb5oyn4p64

Precise Condition Synthesis for Program Repair [article]

Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
2018 arXiv   pre-print
First, it is important to know what variables in a local context should be used in an "if" condition, and we propose a sorting method based on the dependency relations between variables.  ...  Second, we observe that the API document can be used to guide the repair process, and propose document analysis technique to further filter the variables.  ...  We also use heuristic rules to check whether the method, we associate the variable with the exception.  ... 
arXiv:1608.07754v5 fatcat:yo6xnsrw5ngefmlzcccdgje5ai

Logic Grammars for Diagnosis and Repair

Henning Christiansen, Veronica Dahl
2003 International journal on artificial intelligence tools  
We propose an abductive model based on Constraint Handling Rule Grammars (CHRGs) for detecting and correcting errors in problem domains that can be described in terms of strings of words accepted by a  ...  With respect to previous approaches to error detection and repair, including those that also use constraints and/or abduction, our methodology is surprisingly simple while far-reaching and efficient.  ...  degree of efficiency and flexibility.  ... 
doi:10.1142/s0218213003001216 fatcat:3lzb64y6yrhjrdrpwdjjywv74y

Repairing Service Compositions in a Changing World [chapter]

Yuhong Yan, Pascal Poizat, Ludeng Zhao
2010 Studies in Computational Intelligence  
., based on model-checking or AI planning.  ...  Setting up service composition in an AI planning framework, we propose in this paper repair techniques enabling service compositions to adapt at run-time, both to service and requirement changes, paving  ...  ACKNOWLEDGMENT This work is supported by project "Building Self-Manageable Web Service Process" of Canada NSERC Discovery Grant, RGPIN/298362-2007 and by project "PERvasive Service cOmposition" (PERSO)  ... 
doi:10.1007/978-3-642-13273-5_2 fatcat:gcic6khayba5teecgldqsu5zxe
« Previous Showing results 1 — 15 out of 8,928 results