Filters








22,561 Hits in 10.4 sec

On reducing model transformation testing overhead

Roberto Rodríguez-Echeverría, Fernando Macías, Adrian Rutle
2016 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this work, we will present MoTe, a novel contract-based model transformation testing approach specifically designed to reduce testing overhead.  ...  First, we present main overhead sources in core stages of contract-based model transformation testing.  ...  In this work we have presented MoTe, a novel contract-based model transformation testing approach specially designed to reduce testing overheadA testing framework for model transformations.  ... 
dblp:conf/models/Rodriguez-Echeverria16 fatcat:i3k7apholrfjrpwcc2lmq37nwm

Software quality tools and techniques presented in FASE'17

Marieke Huisman, Julia Rubin
2018 International Journal on Software Tools for Technology Transfer (STTT)  
This special issue of Software Tools for Technology Transfer is concerned with the foundations on which software quality assurance is built.  ...  It introduces the papers that focus on this topic and that have been selected from the 20th International Conference on Fundamental Approaches to Software Engineering (FASE'17).  ...  Acknowledgements We are grateful to all the authors for their contributions and to the program committee of FASE'17 for their help for selecting the conference program, including the papers for this issue  ... 
doi:10.1007/s10009-018-0504-7 fatcat:pnytzgeky5gilkhufbhbrnoemi

Automatic Software Repair

Martin Monperrus
2018 ACM Computing Surveys  
This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle.  ...  It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.  ...  [59] devise an approach for repairing compiler errors, which is a static oracle. The originality of DeepFix is to use a language model based on deep learning to suggest fixes.  ... 
doi:10.1145/3105906 fatcat:zbrbc6e22rdeja4vfrx7j57g5e

Recommender systems in model-driven engineering

Lissette Almonte, Esther Guerra, Iván Cantador, Juan de Lara
2021 Journal of Software and Systems Modeling  
Following this trend, we are witnessing a growing research interest on recommendation approaches that assist with modelling tasks and model-based development processes.  ...  In this paper, we report on a systematic mapping review (based on the analysis of 66 papers) that classifies the existing research work on recommender systems for model-driven engineering (MDE).  ...  Acknowledgements We thank the reviewers for their useful comments.  ... 
doi:10.1007/s10270-021-00905-x fatcat:x5ju2ye5ozbtflrzknohy2yfeu

Deductive Program Repair [chapter]

Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
2015 Lecture Notes in Computer Science  
Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to guide synthesis.  ...  We introduce a new specification construct for symbolic tests. We rely on such user-specified tests as well as automatically generated ones to localize the fault and speed up synthesis.  ...  Our deductive approach allows us to introduce such tailored rules without loss of generality: errors that go beyond this model may be repaired using more general, albeit slower synthesis rules.  ... 
doi:10.1007/978-3-319-21668-3_13 fatcat:eqx6h243u5gh7oqdig2roliame

Knowledge representation concepts for automated SLA management

Adrian Paschke, Martin Bichler
2008 Decision Support Systems  
We suggest logical formalisms for the representation and enforcement of SLA rules and describe a proof-of-concept implementation.  ...  A logic-based approach provides several advantages including automated rule chaining allowing for compact knowledge representation as well as flexibility to adapt to rapidly changing business requirements  ...  In particular, we have provided suggestions for self-validating rule bases and test driven development, to provide for correctness, reliability and adequacy of rule-based policy and contract specifications  ... 
doi:10.1016/j.dss.2008.06.008 fatcat:nac3iyeilnezfkxf4vhr72qdju

Repairing Pronouns in Translation with BERT-Based Post-Editing [article]

Reid Pryzant
2021 arXiv   pre-print
We offer an initial case study of this approach for the Japanese-English language pair, observing that a small number of translations are significantly improved according to human evaluators.  ...  We then investigate a possible solution: fine-tuning BERT on a pronoun prediction task using chunks of source-side sentences, then using the resulting classifier to repair the translations of an existing  ...  We also thank Kellie Webster, Apu Shah, Macduff Hughes and Wei Wang for their advice.  ... 
arXiv:2103.12838v4 fatcat:3al3yhpj2rcx3pnmwwntl5gkee

Chinese named entity and relation identification system

Tianfang Yao, Hans Uszkoreit
2006 Proceedings of the COLING/ACL on Interactive presentation sessions -  
In this interactive presentation, a Chinese named entity and relation identification system is demonstrated.  ...  Moreover, the overall average F-measure for 6 kinds of name entities and 14 kinds of named entity relations is 83.08% and 70.46% respectively.  ...  Acknowledgement This work der contract no. 01INA by the German Minist  ... 
doi:10.3115/1225403.1225413 dblp:conf/acl/YaoU06 fatcat:kcqhsjjp25ggzkcpsjajlvkliq

Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases

Paula Muñoz, Priyanka Karkhanis, Mark van den Brand
2021 Journal of Object Technology  
We implemented our approach for the ATL language using the evolutionary algorithm NSGA-II, and performed an evaluation based on three published case studies.  ...  Instead of using predefined patches targeting isolated errors of specific categories, we propose to explore the space of possible patches by combining basic edit operations for model transformation programs  ...  In the same vein, we tested our approach only with the Atlas Transformation Language (ATL) as a model transformation language.  ... 
doi:10.5381/jot.2021.20.3.a9 fatcat:xflgljewpzbbljonns2twmb5ja

Statistical Transformation of Language and Pronunciation Models for Spontaneous Speech Recognition

Yuya Akita, Tatsuya Kawahara
2010 IEEE Transactions on Audio, Speech, and Language Processing  
We propose a novel approach based on a statistical transformation framework for language and pronunciation modeling of spontaneous speech.  ...  For pronunciation modeling, subword-based mapping between baseforms and surface forms is extracted with their occurrence counts, then a set of rewrite rules with their probabilities are derived as a transformation  ...  This suggests that a simple mixture-based language model does not sufficiently cover effective N-gram entries.  ... 
doi:10.1109/tasl.2009.2037400 fatcat:asubkk3tz5apppxv75ivxweybq

A Survey on Machine Learning Techniques for Source Code Analysis [article]

Tushar Sharma, Maria Kechagia, Stefanos Georgiou, Rohit Tiwari, Federica Sarro
2021 arXiv   pre-print
Context: The advancements in machine learning techniques have encouraged researchers to apply these techniques to a myriad of software engineering tasks that use source code analysis such as testing and  ...  Results: Our findings suggest that the usage of machine learning techniques for source code analysis tasks is consistently increasing.  ...  The concatenated context vector is used to predict the summary of one word at a time. Yang et al. [352] developed a multi-modal transformer-based code summarization approach for smart contracts.  ... 
arXiv:2110.09610v1 fatcat:jc6c3jnxcbekfbssyy7hn3zwxa

Enabling Reasoning with LegalRuleML [article]

Ho-Pun Lam, Mustafa Hashmi
2018 arXiv   pre-print
This paper presents an approach for transforming legal norms represented using LegalRuleML to a variant of Modal Defeasible Logic (and vice versa) such that a legal statement represented using LegalRuleML  ...  In order to automate verification process, regulatory rules written in natural language need to be translated into a format that machines can understand.  ...  Whereas (Vojír et al. 2013) transforms the association rules into Drool Rule Language (DRL) using Lisp-Miner 15 , (Kamada et al. 2010) proposes a model driven architecture based model to transform  ... 
arXiv:1711.06128v2 fatcat:hzfdopnu6beo3perephawdx5qu

Application of Seq2Seq Models on Code Correction

Shan Huang, Xiao Zhou, Sang Chin
2021 Frontiers in Artificial Intelligence  
We apply various seq2seq models on programming language correction tasks on Juliet Test Suite for C/C++ and Java of Software Assurance Reference Datasets and achieve 75% (for C/C++) and 56% (for Java)  ...  We successfully carry out error type classification task on ITC benchmark examples (with only 685 code instances) using transfer learning with models pretrained on Juliet Test Suite, pointing out a novel  ...  For example, Error-Prone, a rule-based Java code error detector developed by google, identifies 499 bug patterns.  ... 
doi:10.3389/frai.2021.590215 pmid:33817628 pmcid:PMC8017285 fatcat:toge2ufpubbz3mwrzfxwuz3y7y

Metamodel-based model conformance and multiview consistency checking

Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
2007 ACM Transactions on Software Engineering and Methodology  
Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking  ...  Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems.  ...  Some of these approaches require use of specialized tools such as xlinkit [Gryce et al. 2002] , a general-purpose rule-based tool for consistency-checking documents based on XML-or mathematical languages  ... 
doi:10.1145/1243987.1243989 fatcat:y6itbzr4c5dyjpmp3wlncrcq3q

Automatic Contract Insertion with CCBot

Scott A. Carr, Francesco Logozzo, Mathias Payer
2017 IEEE Transactions on Software Engineering  
To address this issue we propose CCBot (short for CodeContractsBot), a new tool that applies the results of static analysis to existing code through automatic code transformation.  ...  On large code bases, static analysis tools produce thousands of warnings. It is unrealistic to expect users to review such a massive list and to manually make changes for each warning.  ...  ACKNOWLEDGEMENTS We thank Xiangyu Zhang, Stephen McCamant, Michael Pradel, and the anonymous reviewers for their invaluable feedback on this work.  ... 
doi:10.1109/tse.2016.2625248 fatcat:5r4h7dkigvghziedpxeib4yo2i
« Previous Showing results 1 — 15 out of 22,561 results