当前期刊: arXiv - CS - Software Engineering Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Measuring affective states from technical debt: A psychoempirical software engineering experiment
    arXiv.cs.SE Pub Date : 2020-09-22
    Jesper Olsson; Erik Risfelt; Terese Besker; Antonio Martini; Richard Torkar

    Software engineering is a human activity. Despite this, human aspects are under-represented in technical debt research, perhaps because they are challenging to valorize. This study's objective was to investigate the relationship between technical debt and affective states (feelings, emotions, and moods) from software practitioners. Forty participants from twelve companies took part in a mixed-methods

    更新日期:2020-09-23
  • Domain Specific Modeling (DSM) as a Service for the Internet of Things & Services
    arXiv.cs.SE Pub Date : 2020-09-22
    Armin Moin

    In this paper, we propose a novel approach for developing Sense-Compute-Control (SCC) applications for the Internet of Things and Services (IoTS) following the Model-Driven Software Engineering (MDSE) methodology. We review the recent approaches to MDSE and argue that Domain Specific Modeling (DSM) suites our needs very well. However, in line with the recent trends in cloud computing and the emer-gence

    更新日期:2020-09-23
  • ThingML+ Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning
    arXiv.cs.SE Pub Date : 2020-09-22
    Armin Moin; Stephan Rössler; Stephan Günnemann

    In this paper, we present the current position of the research project ML-Quadrat, which aims to extend the methodology, modeling language and tool support of ThingML - an open source modeling tool for IoT/CPS - to address Machine Learning needs for the IoT applications. Currently, ThingML offers a modeling language and tool support for modeling the components of the system, their communication interfaces

    更新日期:2020-09-23
  • From Things' Modeling Language (ThingML) to Things' Machine Learning (ThingML2)
    arXiv.cs.SE Pub Date : 2020-09-22
    Armin Moin; Stephan Rössler; Marouane Sayih; Stephan Günnemann

    In this paper, we illustrate how to enhance an existing state-of-the-art modeling language and tool for the Internet of Things (IoT), called ThingML, to support machine learning on the modeling level. To this aim, we extend the Domain-Specific Language (DSL) of ThingML, as well as its code generation framework. Our DSL allows one to define things, which are in charge of carrying out data analytics

    更新日期:2020-09-23
  • Goals and Measures for Analyzing Power Consumption Data in Manufacturing Enterprises
    arXiv.cs.SE Pub Date : 2020-09-22
    Sören Henning; Wilhelm Hasselbring; Heinz Burmester; Armin Möbius; Maik Wojcieszak

    The Internet of Things adoption in the manufacturing industry allows enterprises to monitor their electrical power consumption in real time and at machine level. In this paper, we follow up on such emerging opportunities for data acquisition and show that analyzing power consumption in manufacturing enterprises can serve a variety of purposes. Apart from the prevalent goal of reducing overall power

    更新日期:2020-09-23
  • Evolutionary Conflict Checking
    arXiv.cs.SE Pub Date : 2020-09-22
    Tao Ji; Liqian Chen; Xiaoguang Mao; Xin Yi; Jiahong Jiang

    During the software evolution, existing features may be adversely affected by new changes, which is well known as regression errors. Maintaining a high-quality test suite is helpful to prevent regression errors, whereas it heavily depends on developers. Continuously augmenting the existing test suite based on the new changes can assist developers in investigating the impact of these new changes. And

    更新日期:2020-09-23
  • CodeBLEU: a Method for Automatic Evaluation of Code Synthesis
    arXiv.cs.SE Pub Date : 2020-09-22
    Shuo Ren; Daya Guo; Shuai Lu; Long Zhou; Shujie Liu; Duyu Tang; Ming Zhou; Ambrosio Blanco; Shuai Ma

    Evaluation metrics play a vital role in the growth of an area as it defines the standard of distinguishing between good and bad models. In the area of code synthesis, the commonly used evaluation metric is BLEU or perfect accuracy, but they are not suitable enough to evaluate codes, because BLEU is originally designed to evaluate the natural language, neglecting important syntactic and semantic features

    更新日期:2020-09-23
  • Model-Driven Requirements for Humans-on-the-Loop Multi-UAV Missions
    arXiv.cs.SE Pub Date : 2020-09-22
    Ankit Agrawal; Jan-Philipp Steghofer; Jane Cleland-Huang

    The use of semi-autonomous Unmanned Aerial Vehicles (UAVs or drones) to support emergency response scenarios, such as fire surveillance and search-and-rescue, has the potential for huge societal benefits. Onboard sensors and artificial intelligence (AI) allow these UAVs to operate autonomously in the environment. However, human intelligence and domain expertise are crucial in planning and guiding UAVs

    更新日期:2020-09-23
  • Recommending Stack Overflow Posts for Fixing Runtime Exceptions using Failure Scenario Matching
    arXiv.cs.SE Pub Date : 2020-09-21
    Sonal MahajanFujitsu Laboratories of America, Inc; Negarsadat AbolhassaniUniversity of Southern California; Mukul R. PrasadFujitsu Laboratories of America, Inc

    Using online Q&A forums, such as Stack Overflow (SO), for guidance to resolve program bugs, among other development issues, is commonplace in modern software development practice. Runtime exceptions (RE) is one such important class of bugs that is actively discussed on SO. In this work we present a technique and prototype tool called MAESTRO that can automatically recommend an SO post that is most

    更新日期:2020-09-23
  • mage: Fluid Moves Between Code and Graphical Work in Computational Notebooks
    arXiv.cs.SE Pub Date : 2020-09-22
    Mary Beth Kery; Donghao Ren; Fred Hohman; Dominik Moritz; Kanit Wongsuphasawat; Kayur Patel

    We aim to increase the flexibility at which a data worker can choose the right tool for the job, regardless of whether the tool is a code library or an interactive graphical user interface (GUI). To achieve this flexibility, we extend computational notebooks with a new API mage, which supports tools that can represent themselves as both code and GUI as needed. We discuss the design of mage as well

    更新日期:2020-09-23
  • Sense-Deliberate-Act Cognitive Agents for Sense-Compute-Control Applications in the Internet of Things & Services
    arXiv.cs.SE Pub Date : 2020-09-22
    Armin Moin

    In this paper, we advocate Agent-Oriented Software Engi-neering (AOSE) through employing Belief-Desire-Intention (BDI) intel-ligent agents for developing Sense-Compute-Control (SCC) applications in the Internet of Things and Services (IoTS). We argue that not only the agent paradigm, in general, but also cognitive BDI agents with sense-deliberate-act cycle, in particular, fit very well to the nature

    更新日期:2020-09-23
  • Continuous Reasoning for Managing Next-Gen Distributed Applications
    arXiv.cs.SE Pub Date : 2020-09-22
    Stefano FortiDepartment of Computer Science, University of Pisa, Italy; Antonio BrogiDepartment of Computer Science, University of Pisa, Italy

    Continuous reasoning has proven effective in incrementally analysing changes in application codebases within Continuous Integration/Continuous Deployment (CI/CD) software release pipelines. In this article, we present a novel declarative continuous reasoning approach to support the management of multi-service applications over the Cloud-IoT continuum, in particular when infrastructure variations impede

    更新日期:2020-09-23
  • On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators
    arXiv.cs.SE Pub Date : 2020-09-21
    Erick Petersen; Jorge López; Natalia Kushik; Claude Poletti; Djamal Zeghlache

    A novel model-based approach to verify dynamic networks is proposed; the approach consists in formally describing the network topology as well as the dynamic link parameters. A many sorted first order logic formula is constructed and this model can be checked with respect to a set of properties. The network consistency can be verified using an SMT-solver, and the formula can be used for the run-time

    更新日期:2020-09-22
  • Identifying the Mood of a Software Development Team by Analyzing Text-Based Communication in Chats with Machine Learning
    arXiv.cs.SE Pub Date : 2020-09-21
    Jil Klünder; Julian Horstmann; Oliver Karras

    Software development encompasses many collaborative tasks in which usually several persons are involved. Close collaboration and the synchronization of different members of the development team require effective communication. One established communication channel are meetings which are, however, often not as effective as expected. Several approaches already focused on the analysis of meetings to determine

    更新日期:2020-09-22
  • Use of Bayesian Network characteristics to link project management maturity and risk of project overcost
    arXiv.cs.SE Pub Date : 2020-09-18
    Felipe SanchezERPI; Davy MonticoloERPI; Eric BonjourERPI; Jean-Pierre Micaëlli

    The project management field has the imperative to increase the project probability of success. Experts have developed several project management maturity models to assets and improve the project outcome. However, the current literature lacks of models allowing correlating the measured maturity and the expected probability of success. This paper uses the characteristics of Bayesian networks to formalize

    更新日期:2020-09-22
  • Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems
    arXiv.cs.SE Pub Date : 2020-09-20
    Smitha Gautham; Abhilash Rajagopala; Athira Varma Jayakumar; Christopher Deloglos; Erwin Karincic; Carl Elks

    Advanced embedded system technology is one of the key driving forces behind the rapid growth of Cyber-Physical System (CPS) applications. Cyber-Physical Systems are comprised of multiple coordinating and cooperating components, which are often software intensive and interacting with each other to achieve unprecedented tasks. Such complex CPSs have multiple attack surfaces and attack vectors that we

    更新日期:2020-09-22
  • TreeCaps: Tree-Based Capsule Networks for Source Code Processing
    arXiv.cs.SE Pub Date : 2020-09-05
    Nghi D. Q. Bui; Yijun Yu; Lingxiao Jiang

    Recently program learning techniques have been proposed to process source code based on syntactical structures (e.g., Abstract Syntax Trees) and/or semantic information (e.g., Dependency Graphs). Although graphs may be better at capturing various viewpoints of code semantics than trees, constructing graph inputs from code needs static code semantic analysis that may not be accurate and introduces noise

    更新日期:2020-09-22
  • A Benchmark Study of the Contemporary Toxicity Detectors on Software Engineering Interactions
    arXiv.cs.SE Pub Date : 2020-09-20
    Jaydeb Sarker; Asif Kamal Turzo; Amiangshu Bosu

    Automated filtering of toxic conversations may help an Open-source software (OSS) community to maintain healthy interactions among the project participants. Although, several general purpose tools exist to identify toxic contents, those may incorrectly flag some words commonly used in the Software Engineering (SE) context as toxic (e.g., 'junk', 'kill', and 'dump') and vice versa. To encounter this

    更新日期:2020-09-22
  • Toward the Automatic Classification of Self-Affirmed Refactoring
    arXiv.cs.SE Pub Date : 2020-09-19
    Eman Abdullah AlOmar; Mohamed Wiem Mkaouer; Ali Ouni

    The concept of Self-Affirmed Refactoring (SAR) was introduced to explore how developers document their refactoring activities in commit messages, i.e., developers' explicit documentation of refactoring operations intentionally introduced during a code change. In our previous study, we have manually identified refactoring patterns and defined three main common quality improvement categories, including

    更新日期:2020-09-22
  • Dynamic Scheduling and Workforce Assignment in Open Source Software Development
    arXiv.cs.SE Pub Date : 2020-09-19
    Hui Xi; Dong Xu; Young-Jun Son

    A novel modeling framework is proposed for dynamic scheduling of projects and workforce assignment in open source software development (OSSD). The goal is to help project managers in OSSD distribute workforce to multiple projects to achieve high efficiency in software development (e.g. high workforce utilization and short development time) while ensuring the quality of deliverables (e.g. code modularity

    更新日期:2020-09-22
  • NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
    arXiv.cs.SE Pub Date : 2020-09-21
    Brandon Paulsen; Jingbo Wang; Jiawei Wang; Chao Wang

    As neural networks make their way into safety-critical systems, where misbehavior can lead to catastrophes, there is a growing interest in certifying the equivalence of two structurally similar neural networks. For example, compression techniques are often used in practice for deploying trained neural networks on computationally- and energy-constrained devices, which raises the question of how faithfully

    更新日期:2020-09-22
  • Sustaining a Healthy Ecosystem: Participation, Discussion, and Interaction in Eclipse Forums
    arXiv.cs.SE Pub Date : 2020-09-19
    Yusuf Sulistyo Nugroho; Syful Islam; Keitaro Nakasai; Ifraz Rehman; Hideaki Hata; Raula Gaikovina Kula; Meiyappan Nagappan; Kenichi Matsumoto

    Although many software development projects have moved their developer discussion forums to Stack Overflow, Eclipse has been steadfast in hosting their self-supported community forums. However, recent studies show that having a forum seem to share similarities to other communication channels. In this paper, we would like to investigate how the Eclipse project has successfully maintained its forum.

    更新日期:2020-09-22
  • On the Threat of npm Vulnerable Dependencies in Node.js Applications
    arXiv.cs.SE Pub Date : 2020-09-18
    Mahmoud Alfadel; Diego Elias Costa; Mouafak Mokhallalati; Emad Shihab; Bram Adams

    Software vulnerabilities have a large negative impact on the software systems that we depend on daily. Reports on software vulnerabilities always paint a grim picture, with some reports showing that 83% of organizations depend on vulnerable software. However, our experience leads us to believe that, in the grand scheme of things, these software vulnerabilities may have less impact than what is reported

    更新日期:2020-09-22
  • Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
    arXiv.cs.SE Pub Date : 2020-09-18
    Roger Scott; Joseph Ranieri; Lucja Kot; Vineeth Kashyap

    Programmers often add meaningful information about program semantics when naming program entities such as variables, functions, and macros. However, static analysis tools typically discount this information when they look for bugs in a program. In this work, we describe the design and implementation of a static analysis checker called SwapD, which uses the natural language information in programs to

    更新日期:2020-09-22
  • Towards the Systematic Testing of Virtual Reality Programs (extended version)
    arXiv.cs.SE Pub Date : 2020-09-18
    Stevao A. Andrade; Fatima L. S. Nunes; Marcio E. Delamaro

    Software testing is a critical activity to ensure that software complies with its specification. However, current software testing activities tend not to be completely effective when applied in specific software domains in Virtual Reality (VR) that has several new types of features such as images, sounds, videos, and differentiated interaction, which can become sources of new kinds of faults. This

    更新日期:2020-09-21
  • Typestates to Automata and back: a tool
    arXiv.cs.SE Pub Date : 2020-09-17
    André TrindadeNOVA School of Science and Technology; João MotaNOVA School of Science and Technology; António RavaraNOVA School of Science and Technology

    Development of software is an iterative process. Graphical tools to represent the relevant entities and processes can be helpful. In particular, automata capture well the intended execution flow of applications, and are thus behind many formal approaches, namely behavioral types. Typestate-oriented programming allow us to model and validate the intended protocol of applications, not only providing

    更新日期:2020-09-21
  • Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing
    arXiv.cs.SE Pub Date : 2020-09-16
    Alexander Lochmann; Robin Thunig; Horst Schirmeier

    LockDoc is an approach to extract locking rules for kernel data structures from a dynamic execution trace recorded while the system is under a benchmark load. These locking rules can e.g. be used to locate synchronization bugs. For high rule precision and thorough bug finding, the approach heavily depends on the choice of benchmarks: They must trigger the execution of as much code as possible in the

    更新日期:2020-09-21
  • Gateway Controller with Deep Sensing: Learning to be Autonomic in Intelligent Internet of Things
    arXiv.cs.SE Pub Date : 2020-09-18
    Rahim Rahmani; Ramin Firouzi

    The Internet of Things(IoT) will revolutionize the Future Internet through ubiquitous sensing. One of the challenges of having the hundreds of billions of devices that are estimated to be deployed would be rise of an enormous amount of data, along with the devices ability to manage. This paper presents an approach as a controller solution and designed specifically for autonomous management, connectivity

    更新日期:2020-09-21
  • Towards Full-line Code Completion with Neural Language Models
    arXiv.cs.SE Pub Date : 2020-09-18
    Wenhan Wang; Sijie Shen; Ge Li; Zhi Jin

    A code completion system suggests future code elements to developers given a partially-complete code snippet. Code completion is one of the most useful features in Integrated Development Environments (IDEs). Currently, most code completion techniques predict a single token at a time. In this paper, we take a further step and discuss the probability of directly completing a whole line of code instead

    更新日期:2020-09-21
  • A Visual Language for Composable Inductive Programming
    arXiv.cs.SE Pub Date : 2020-09-18
    Edward McDaid; Sarah McDaid

    We present Zoea Visual which is a visual programming language based on the Zoea composable inductive programming language. Zoea Visual allows users to create software directly from a specification that resembles a set of functional test cases. Programming with Zoea Visual involves the definition of a data flow model of test case inputs, optional intermediate values, and outputs. Data elements are represented

    更新日期:2020-09-21
  • Deep Learning & Software Engineering: State of Research and Future Directions
    arXiv.cs.SE Pub Date : 2020-09-17
    Prem Devanbu; Matthew Dwyer; Sebastian Elbaum; Michael Lowry; Kevin Moran; Denys Poshyvanyk; Baishakhi Ray; Rishabh Singh; Xiangyu Zhang

    Given the current transformative potential of research that sits at the intersection of Deep Learning (DL) and Software Engineering (SE), an NSF-sponsored community workshop was conducted in co-location with the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19) in San Diego, California. The goal of this workshop was to outline high priority areas for cross-cutting research

    更新日期:2020-09-21
  • GraphCodeBERT: Pre-training Code Representations with Data Flow
    arXiv.cs.SE Pub Date : 2020-09-17
    Daya Guo; Shuo Ren; Shuai Lu; Zhangyin Feng; Duyu Tang; Shujie Liu; Long Zhou; Nan Duan; Jian Yin; Daxin Jiang; Ming Zhou

    Pre-trained models for programming language have achieved dramatic empirical improvements on a variety of code-related tasks such as code search, code completion, code summarization, etc. However, existing pre-trained models regard a code snippet as a sequence of tokens, while ignoring the inherent structure of code, which provides crucial code semantics and would enhance the code understanding process

    更新日期:2020-09-20
  • Do Scaling Agile Frameworks Address Global Software Development Risks? An Empirical Study
    arXiv.cs.SE Pub Date : 2020-09-17
    Sarah Beecham; Tony Clear; Ramesh Lal; John Noll

    Driven by the need to coordinate activities of multiple agile development teams cooperating to produce a large software product, software-intensive organizations are turning to scaling agile software development frameworks. Despite the growing adoption of various scalin g agile frameworks, there is little empirical evidence of how effective their practices are in mitigating risk, especially in global

    更新日期:2020-09-20
  • Serverless Applications: Why, When, and How?
    arXiv.cs.SE Pub Date : 2020-09-17
    Simon Eismann; Joel Scheuner; Erwin van Eyk; Maximilian Schwinger; Johannes Grohmann; Cristina L. Abad; Alexandru Iosup

    Serverless computing shows good promise for efficiency and ease-of-use. Yet, there are only a few, scattered and sometimes conflicting reports on questions such as 'Why do so many companies adopt serverless?', 'When are serverless applications well suited?', and 'How are serverless applications currently implemented?' To address these questions, we analyze 89 serverless applications from open-source

    更新日期:2020-09-20
  • A new front-tracking Lagrangian model for the modeling of dynamic and post-dynamic recrystallization
    arXiv.cs.SE Pub Date : 2020-09-17
    Sebastian Florez; Karen Alvarado; Marc Bernacki

    A new method for the simulation of evolving multi-domains problems has been introduced in previous works (RealIMotion), Florez et al. (2020) and further developed in parallel in the context of isotropic Grain Growth (GG) with no consideration for the effects of the Stored Energy (SE) due to dislocations. The methodology consists in a new front-tracking approach where one of the originality is that

    更新日期:2020-09-20
  • Towards Refinable Choreographies
    arXiv.cs.SE Pub Date : 2020-09-17
    Ugo de'LiguoroUniversità di Torino; Hernán MelgrattiUniversidad de Buenos Aires; Emilio TuostoGran Sasso Science Institute

    We investigate refinement in the context of choreographies. We introduce refinable global choreographies allowing for the underspecification of protocols, whose interactions can be refined into actual protocols. Arbitrary refinements may spoil well-formedness, that is the sufficient conditions that guarantee a protocol to be implementable. We introduce a typing discipline that enforces well-formedness

    更新日期:2020-09-20
  • Extending SLURM for Dynamic Resource-Aware Adaptive Batch Scheduling
    arXiv.cs.SE Pub Date : 2020-09-16
    Mohak Chadha; Jophin John; Michael Gerndt

    With the growing constraints on power budget and increasing hardware failure rates, the operation of future exascale systems faces several challenges. Towards this, resource awareness and adaptivity by enabling malleable jobs has been actively researched in the HPC community. Malleable jobs can change their computing resources at runtime and can significantly improve HPC system performance. However

    更新日期:2020-09-20
  • An Abstract Framework for Choreographic Testing
    arXiv.cs.SE Pub Date : 2020-09-17
    Alex CotoGSSI; Roberto GuancialeKTH; Emilio TuostoGSSI

    We initiate the development of a model-driven testing framework for message-passing systems. The notion of test for communicating systems cannot simply be borrowed from existing proposals. Therefore, we formalize a notion of suitable distributed tests for a given choreography and devise an algorithm that generates tests as projections of global views. Our algorithm abstracts away from the actual projection

    更新日期:2020-09-20
  • Immutable Log Storage as a Service on Private and Public Blockchains
    arXiv.cs.SE Pub Date : 2020-09-16
    William Pourmajidi; Lei Zhang; John Steinbacher; Tony Erwin; Andriy Miranskyy

    During the normal operation of a Cloud solution, no one pays attention to the logs except the system reliability engineers, who may periodically check them to ensure that the Cloud platform's performance conforms to the Service Level Agreements (SLA). However, the moment a component fails, or a customer complains about a breach of SLA, the importance of logs increases significantly. All departments

    更新日期:2020-09-18
  • Does Link Prediction Help Detect Feature Interactions in Software Product Lines (SPLs)?
    arXiv.cs.SE Pub Date : 2020-09-15
    Seyedehzahra Khoshmanesh; Robyn Lutz

    An ongoing challenge for the requirements engineering of software product lines is to predict whether a new combination of features (units of functionality) will create an unwanted or even hazardous feature interaction. We thus seek to improve and automate the prediction of unwanted feature interactions early in development. In this paper, we show how the detection of unwanted feature interactions

    更新日期:2020-09-18
  • Automated Source Code Generation and Auto-completion Using Deep Learning: Comparing and Discussing Current Language-Model-Related Approaches
    arXiv.cs.SE Pub Date : 2020-09-16
    Juan Cruz-BenitoIBM Quantum; Sanjay VishwakarmaElectrical and Computer Engineering. Carnegie Mellon University; Francisco Martin-FernandezIBM Quantum; Ismael FaroIBM Quantum

    In recent years, the use of deep learning in language models, text auto-completion, and text generation has made tremendous progress and gained much attention from the research community. Some products and research projects claim that they can generate text that can be interpreted as human-writing, enabling new possibilities in many application areas. Among the different areas related to language processing

    更新日期:2020-09-18
  • A Survey on Automated Log Analysis for Reliability Engineering
    arXiv.cs.SE Pub Date : 2020-09-15
    Shilin He; Pinjia He; Zhuangbin Chen; Tianyi Yang; Yuxin Su; Michael R. Lyu

    Logs are semi-structured text generated by logging statements in software source code. In recent decades, software logs have become imperative in the reliability assurance mechanism of many software systems because they are often the only data available that record software runtime information. As modern software is evolving into a large scale, the volume of logs has increased rapidly. To enable effective

    更新日期:2020-09-16
  • Deep Learning based Vulnerability Detection: Are We There Yet?
    arXiv.cs.SE Pub Date : 2020-09-03
    Saikat Chakraborty; Rahul Krishna; Yangruibo Ding; Baishakhi Ray

    Automated detection of software vulnerabilities is a fundamental problem in software security. Existing program analysis techniques either suffer from high false positives or false negatives. Recent progress in Deep Learning (DL) has resulted in a surge of interest in applying DL for automated vulnerability detection. Several recent studies have demonstrated promising results achieving an accuracy

    更新日期:2020-09-16
  • Navigation and Exploration in 3D-Game Automated Play Testing
    arXiv.cs.SE Pub Date : 2020-09-15
    I. S. W. B. Prasetya; Maurin Voshol; Tom Tanis; Adam Smits; Bram Smit; Jacco van Mourik; Menno Klunder; Frank Hoogmoed; Stijn Hinlopen; August van Casteren; Jesse van de Berg; Naraenda G. W. Y. Prasetya; Samira Shirzadehhajimahmood; Saba Gholizadeh Ansari

    To enable automated software testing, the ability to automatically navigate to a state of interest and to explore all, or at least sufficient number of, instances of such a state is fundamental. When testing a computer game the problem has an extra dimension, namely the virtual world where the game is played on. This world often plays a dominant role in constraining which logical states are reachable

    更新日期:2020-09-16
  • PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages
    arXiv.cs.SE Pub Date : 2020-09-15
    Ali Ghanbari; Andrian Marcus

    PRF is a Java-based framework that allows researchers to build prototypes of test-based generate-and-validate automatic program repair techniques for JVM languages by simply extending it with their patch generation plugins. The framework also provides other useful components for constructing automatic program repair tools, e.g., a fault localization component that provides spectrum-based fault localization

    更新日期:2020-09-16
  • Knowledge-Based Legal Document Assembly
    arXiv.cs.SE Pub Date : 2020-09-14
    Marko Marković; Stevan Gostojić

    This paper proposes a knowledge-based legal document assembly method that uses a machine-readable representation of knowledge of legal professionals. This knowledgebase has two components - the formal knowledge of legal norms represented as a rule-base and the tacit knowledge represented by a document template. A document assembly system is developed as a proof of concept. It collects input data in

    更新日期:2020-09-15
  • Analogy-Making as a Core Primitive in the Software Engineering Toolbox
    arXiv.cs.SE Pub Date : 2020-09-14
    Matthew Sotoudeh; Aditya V. Thakur

    An analogy is an identification of structural similarities and correspondences between two objects. Computational models of analogy making have been studied extensively in the field of cognitive science to better understand high-level human cognition. For instance, Melanie Mitchell and Douglas Hofstadter sought to better understand high-level perception by developing the Copycat algorithm for completing

    更新日期:2020-09-15
  • A Systematic Literature Review on the Use of Deep Learning in Software Engineering Research
    arXiv.cs.SE Pub Date : 2020-09-14
    Cody Watson; Nathan Cooper; David Nader Palacio; Kevin Moran; Denys Poshyvanyk

    An increasingly popular set of techniques adopted by software engineering (SE) researchers to automate development tasks are those rooted in the concept of Deep Learning (DL). The popularity of such techniques largely stems from their automated feature engineering capabilities, which aid in modeling software artifacts. However, due to the rapid pace at which DL techniques have been adopted, it is difficult

    更新日期:2020-09-15
  • Should Decorators Preserve the Component Interface?
    arXiv.cs.SE Pub Date : 2020-09-14
    Virginia Niculescu; Adrian Sterca; Darius Bufnea

    Decorator design pattern is a well known pattern that allows dynamical attachment of additional functionality to an object. Decorators have been proposed as flexible alternative to subclassing for extending functionality. Still, the Decorator pattern has certain limitations, especially related to the fact that in its classical form it is constrained to a single interface, which is implicitly defined

    更新日期:2020-09-15
  • An Open-Source Integration of Process Mining Features into the Camunda Workflow Engine: Data Extraction and Challenges
    arXiv.cs.SE Pub Date : 2020-09-14
    Alessandro Berti; Wil van der Aalst; David Zang; Magdalena Lang

    Process mining provides techniques to improve the performance and compliance of operational processes. Although sometimes the term "workflow mining" is used, the application in the context of Workflow Management (WFM) and Business Process Management (BPM) systems is limited. The main reason is that WFM/BPM systems control the process, leaving less room for flexibility and the corresponding deviations

    更新日期:2020-09-15
  • Model-based analysis support for dependable complex systems in CHESS
    arXiv.cs.SE Pub Date : 2020-09-13
    Felicien Ihirwe; Silvia Mazzini; Pierluigi Pierini; Alberto Debiasi; Stefano Tonetta

    One of the issues in dependable complex systems execution process is the presence of a high dimension of decisions to be taken into account when deciding the next action to be taken. While in designing the logical architecture of a system, various dependability aspects such as safety, reliability, and security must be considered. Moreover, in case of high-assurance systems, it is required to analyze

    更新日期:2020-09-15
  • On the Use of Grey Literature: A Survey with the Brazilian Software Engineering Research Community
    arXiv.cs.SE Pub Date : 2020-09-13
    Fernando Kamei; Igor Wiese; Gustavo Pinto; Márcio Ribeiro; Sérgio Soares

    Background: The use of Grey Literature (GL) has been investigate in diverse research areas. In Software Engineering (SE), this topic has an increasing interest over the last years. Problem: Even with the increase of GL published in diverse sources, the understanding of their use on the SE research community is still controversial. Objective: To understand how Brazilian SE researchers use GL, we aimed

    更新日期:2020-09-15
  • Exploring System Resiliency and Supporting Design Methods
    arXiv.cs.SE Pub Date : 2020-09-13
    James J. Cusick

    This paper provides a survey of the industry perspective on System Resiliency and Resiliency design approaches and briefly touches on Organizational Resiliency topics. Beginning with a composite definition of Resiliency, System Capabilities, Adversities, and the Resiliency Life-cycle the document then covers Operational Response Timelines, Failure Sources and Classifications. Next, Design for Resiliency

    更新日期:2020-09-15
  • Multi-Approach Debugging of Industrial IoT Workflows
    arXiv.cs.SE Pub Date : 2020-09-12
    Andreia Rodrigues; Jose Pedro Silva; Joao Pedro Dias; Hugo Sereno Ferreira

    Industrial Internet-of-Things (IIoT) results from the addition of sensing and actuating capabilities to industrial environments to improve the overall manufacturing processes. Some of these systems have highly-complex tasks of monitorization and control and need to be programmed accordingly. The use of visual programming, such as workflows, is common in these systems due to the abstraction they provide

    更新日期:2020-09-15
  • Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers
    arXiv.cs.SE Pub Date : 2020-09-11
    Michele Tufano; Dawn Drain; Alexey Svyatkovskiy; Neel Sundaresan

    Unit testing represents the foundational basis of the software testing pyramid, beneath integration and end-to-end testing. Automated software testing researchers have proposed a variety of techniques to assist developers in this time-consuming task. In this paper we present an approach to support developers in writing unit test cases by generating accurate and useful assert statements. Our approach

    更新日期:2020-09-15
  • A Principled Approach to GraphQL Query Cost Analysis
    arXiv.cs.SE Pub Date : 2020-09-11
    Alan Cha; Erik Wittern; Guillaume Baudart; James C. Davis; Louis Mandel; Jim A. Laredo

    The landscape of web APIs is evolving to meet new client requirements and to facilitate how providers fulfill them. A recent web API model is GraphQL, which is both a query language and a runtime. Using GraphQL, client queries express the data they want to retrieve or mutate, and servers respond with exactly those data or changes. GraphQL's expressiveness is risky for service providers because clients

    更新日期:2020-09-15
  • Unit Test Case Generation with Transformers
    arXiv.cs.SE Pub Date : 2020-09-11
    Michele Tufano; Dawn Drain; Alexey Svyatkovskiy; Shao Kun Deng; Neel Sundaresan

    Automated Unit Test Case generation has been the focus of extensive literature within the research community. Existing approaches are usually guided by the test coverage criteria, generating synthetic test cases that are often difficult to read or understand for developers. In this paper we propose AthenaTest, an approach that aims at generating unit test cases by learning from real-world, developer-written

    更新日期:2020-09-15
  • The AIQ Meta-Testbed: Pragmatically Bridging Academic AI Testing and Industrial Q Needs
    arXiv.cs.SE Pub Date : 2020-09-11
    Markus Borg

    AI solutions seem to appear in any and all application domains. As AI becomes more pervasive, the importance of quality assurance increases. Unfortunately, there is no consensus on what artificial intelligence means and interpretations range from simple statistical analysis to sentient humanoid robots. On top of that, quality is a notoriously hard concept to pinpoint. What does this mean for AI quality

    更新日期:2020-09-14
  • Can Microtask Programming Work in Industry?
    arXiv.cs.SE Pub Date : 2020-09-11
    Shinobu Saito; Yukako Iimura; Emad Aghayi; Thomas D. LaToza

    A critical issue in software development projects in IT service companies is finding the right people at the right time. By enabling assignments of tasks to people to be more fluid, the use of crowdsourcing approaches within a company offers a potential solution to this challenge. Inside a company, as multiple system development projects are ongoing separately, developers with slack time on one project

    更新日期:2020-09-14
  • Agile methodologies in teams with highly creative and autonomous members
    arXiv.cs.SE Pub Date : 2020-09-10
    Sergi Blanco-Cuaresma; Alberto Accomazzi; Michael J. Kurtz; Edwin Henneken; Carolyn S. Grant; Donna M. Thompson; Roman Chyla; Stephen McDonald; Golnaz Shapurian; Timothy W. Hostetler; Matthew R. Templeton; Kelly E. Lockhart; Kris Bukovi

    The Agile manifesto encourages us to value individuals and interactions over processes and tools, while Scrum, the most adopted Agile development methodology, is essentially based on roles, events, artifacts, and the rules that bind them together (i.e., processes). Moreover, it is generally proclaimed that whenever a Scrum project does not succeed, the reason is because Scrum was not implemented correctly

    更新日期:2020-09-14
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
物理学研究前沿热点精选期刊推荐
chemistry
《自然》编辑与您分享如何成为优质审稿人-信息流
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
自然职场线上招聘会
ACS ES&T Engineering
ACS ES&T Water
ACS Publications填问卷
屿渡论文,编辑服务
阿拉丁试剂right
南昌大学
王辉
南方科技大学
刘天飞
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
天合科研
x-mol收录
X-MOL
苏州大学
廖矿标
深圳湾
试剂库存
down
wechat
bug