Review
Computer Science, Information Systems
Marcelo Morandini, Thiago Adriano Coleti, Edson Oliveira Jr, Pedro Luiz Pizzigatti Correa
Summary: SCRUM serves as a vital strategy in software development, with numerous best practices available to guide development teams. However, the implementation of these practices should be tailored to specific environments and organizations. This study conducted surveys to evaluate the effectiveness of SCRUM practices within different organizations, aiming to assist all roles involved in implementing SCRUM framework.
COMPUTER SCIENCE REVIEW
(2021)
Article
Computer Science, Interdisciplinary Applications
Jean-Marc Jezequel, Antonio Vallecillo
Summary: This article proposes including the sources of uncertainty in system models as first-class entities using random variables to simulate adaptive and control systems more faithfully.
ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION
(2023)
Article
Chemistry, Multidisciplinary
Muhammad Abid Jamil, Mohamed K. Nour, Saud S. Alotaibi, Mohammad Jabed Hussain, Syed Mutiullah Hussaini, Atif Naseer
Summary: This article introduces an evolutionary framework that supports adaptive testing for self-adaptive systems, enabling the execution and adaptation of runtime testing operations using the Strength Pareto Evolutionary Algorithm 2 (SPEA2) algorithm.
APPLIED SCIENCES-BASEL
(2023)
Article
Computer Science, Software Engineering
Rebeca C. Motta, Kathia M. de Oliveira, Guilherme H. Travassos
Summary: This study presents an evidence-based roadmap for IoT development, which supports developers in specifying, designing, and implementing IoT systems. Based on experimental studies and multidisciplinary knowledge, the roadmap consists of 117 items organized into 29 categories, addressing various concerns in each aspect. The study also validates the applicability of the roadmap through an observational study of a real healthcare IoT project.
JOURNAL OF SYSTEMS AND SOFTWARE
(2023)
Article
Computer Science, Software Engineering
Mauricio Aniche, Christoph Treude, Andy Zaidman
Summary: This paper investigates the thought- and decision-making processes of developers when engineering test cases through observing 13 developers and surveying 72 software developers. The paper proposes a general framework for reasoning about testing, describes three overarching testing strategies, and compares the findings with existing knowledge.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
(2022)
Article
Computer Science, Software Engineering
Uraz Cengiz Turker, Robert M. Hierons, Gerassimos Barlas, Khaled El-Fakih
Summary: The increasing complexity and criticality of software systems have led to a growing interest in automated test generation, particularly using model-based testing (MBT). This study proposes a generalization of incomplete adaptive distinguishing sequences (ADSs) to handle non-deterministic partial and observable finite state machines (FSMs). It also presents a novel algorithm to generate incomplete ADSs and demonstrates its superior performance in identifying states of the implementation under test (IUT) compared to existing methods.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
(2023)
Article
Computer Science, Software Engineering
Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, Paolo Tonella
Summary: Assessing the quality of DL systems is crucial, and researchers have proposed input generation techniques to expose failures. This article introduces DeepHyperion-CS, which enhances DeepHyperion by promoting inputs that contribute more to feature space exploration. Empirical studies show that DeepHyperion-CS outperforms state-of-the-art tools, significantly improving efficiency and effectiveness in finding misbehaviour-inducing inputs and exploring the feature space. Additionally, DeepHyperion-CS expands training data and increases feature map cell population by up to 200% compared to the original set.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
(2023)
Article
Computer Science, Software Engineering
Michael Vierhauser, Sean Bayley, Jane Wyngaard, Wandi Xiong, Jinghui Cheng, Joshua Huseman, Robyn Lutz, Jane Cleland-Huang
Summary: The research highlights the need for enhanced safety measures for UAVs in increasingly crowded airspace and proposes a new method based on interlocking SACs. By connecting ISACs and pSACs, the approach can effectively identify, specify, and monitor safety constraints on UAVs flying in controlled airspace.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
(2021)
Article
Computer Science, Artificial Intelligence
Zijie Huang, Huiqun Yu, Guisheng Fan, Zhiqing Shao, Mingchen Li, Yuguo Liang
Summary: Explainable Artificial Intelligence (XAI) provides explanations for black-box models, but it may produce unreasonable explanations for software defect prediction. To address this issue, researchers evaluated XAI for code smell prioritization and found that features adapted to developers' expectations can improve explanation coverage without negative impact on accuracy and complexity.
EXPERT SYSTEMS WITH APPLICATIONS
(2024)
Article
Automation & Control Systems
Pavlos Triantafyllou, Rafael Afonso Rodrigues, Sirapoab Chaikunsaeng, Diogo Almeida, Graham Deacon, Jelizaveta Konstantinova, Giuseppe Cotugno
Summary: This study demonstrates the application of illustration through a bimanual manipulation case study.
IEEE ROBOTICS & AUTOMATION MAGAZINE
(2021)
Article
Computer Science, Artificial Intelligence
Yubin Qu, Tie Bao, Xiang Chen, Long Li, Xianzhen Dou, Meng Yuan, Hongmei Wang
Summary: This study investigates the types and distribution of self-introduced technical debt in open-source blockchain software systems. The results show the existence of six prevalent technical debts, with no algorithm debt. The study also finds that technical debt in code comments is not solely determined by task tags. Therefore, deep semantic discovery models should be used to detect software development technical debt.
CONNECTION SCIENCE
(2022)
Article
Chemistry, Analytical
Hyo-Cheol Lee, Seok-Won Lee
Summary: With the development of artificial intelligence technology, systems that can actively adapt to their surroundings and cooperate with other systems have become increasingly important. One of the most crucial factors in system cooperation is trust. In this study, we propose a provenance-based trust-aware requirement engineering framework for self-adaptive systems to define trust during the requirements engineering phase and evaluate it at runtime. The framework helps system engineers derive the user's requirements as a trust-aware goal model and provides a provenance-based trust evidence model to evaluate trust.
Article
Computer Science, Software Engineering
Sruti Srinivasa Ragavan, Mihai Codoban, David Piorkowski, Danny Dig, Margaret Burnett
Summary: The study found that participants' information foraging behaviors while looking for specific information were consistent with other foraging situations in software engineering, allowing for leveraging previous research on IFT-based SE tool design for VCS. In change awareness foraging, participants consumed information in similar ways but with subtle differences, prompting the need for further investigation. When committing changes, participants tried to enable future foragers, but the conflicting needs of different foraging situations led to unbalanced tensions that present a new research avenue in creating forageable information at the intersection of IFT and SE. The results of using an IFT lens on the data provide evidence of IFT's scope and utility for the version control domain.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
(2021)
Article
Computer Science, Software Engineering
Wei Ma, Mike Papadakis, Anestis Tsakmalis, Maxime Cordy, Yves Le Traon
Summary: Testing deep learning models poses challenges due to the complexity of computations involved. Recent research has shown that using uncertainty-based metrics can effectively identify misclassified inputs and lead to faster improvement in classification accuracy during retraining.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
(2021)
Article
Computer Science, Artificial Intelligence
Khlood Ahmad, Mohamed Abdelrazek, Chetan Arora, Arbind Agrahari Baniya, Muneera Bano, John Grundy
Summary: This paper presents a new framework based on human-centered AI guidelines and a user survey to collect requirements for human-centered AI-based software. The framework is applied to a case study for enhancing the quality of 360 degrees videos for VR users. The approach helps the project team understand the human-centered needs of the project and capture requirements at different stages of the engineering process of AI-based software.
APPLIED SOFT COMPUTING
(2023)
Article
Chemistry, Multidisciplinary
Roberto Casadei, Danilo Pianini, Mirko Viroli, Danny Weyns
Summary: The engineering of self-organising cyber-physical systems can benefit from logical devices such as digital twins, virtual devices, and collective digital twins. This study introduces the concept of collective digital twin and explores how it can improve the performance of self-organising applications. The research also highlights the importance of virtual devices in sensor networks and their contribution to the engineering of self-organising CPSs.
APPLIED SCIENCES-BASEL
(2022)
Article
Computer Science, Software Engineering
Danny Weyns, Usman M. Iftikhar
Summary: Self-adaptation equips computing systems with a feedback loop to handle uncertainties during operation. Existing approaches lack correctness verification, rely on exhaustive runtime verification, and have limited support for changing adaptation goals. In response, we propose ActivFORMS, an end-to-end approach for engineering self-adaptive systems, and ActivFORMS-ta, a tool-supported instance. Experimental results using an IoT application demonstrate correctness, efficient adaptation, and support for changing goals at runtime.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
(2023)
Article
Engineering, Multidisciplinary
Danny Weyns, Thomas Back, Rene Vidal, Xin Yao, Ahmed Nabil Belbachir
Summary: This article discusses the sustainability of computing systems, highlighting the necessity of system evolution for handling unforeseen changes, and proposes the concept of self-evolving computing systems.
JOURNAL OF INTEGRATED DESIGN & PROCESS SCIENCE
(2022)
Article
Computer Science, Software Engineering
Premathas Somasekaram, Radu Calinescu
Summary: This article presents a novel Bayesian decision network model to improve the failure detection capabilities of high-availability clusters (HACs). By analyzing the characteristics of the components, the model predicts and manages failures, thereby improving the decision-making process and availability of the applications protected by HACs.
SOFTWARE-PRACTICE & EXPERIENCE
(2022)
Article
Computer Science, Artificial Intelligence
Beverley Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
Summary: With advancements in systems engineering and artificial intelligence, autonomous agents are expected to execute tasks that affect human well-being, requiring them to be normatively sensitive and compliant. Bridging the gap between normative principles and operational practice, this paper presents a process for deriving practical rules from high-level norms, enabling autonomous agents to select and execute the most favorable action based on relevant normative principles.
MINDS AND MACHINES
(2022)
Article
Computer Science, Artificial Intelligence
Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomas Bures, Amleto Di Salle, Matthias Galster, Patricia Lago, Grace Lewis, Marin Litoiu, Angelika Musil, Juergen Musil, Panos Patros, Patrizio Pelliccione
Summary: Computing systems play a crucial role in various sectors of our society and when software is heavily involved in their design, construction, and operation, they are referred to as software-intensive systems. Self-adaptation empowers these systems to automate tasks or handle uncertain conditions. A survey with 184 valid responses from practitioners in 21 countries was conducted to gain insights into the motivations, problems, difficulties, and risks faced in applying self-adaptation. The analysis of the survey data provides an empirical overview of the state of practice and offers insights for researchers and practitioners to align their work and explore potential collaborations.
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
(2023)
Article
Computer Science, Information Systems
Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
Summary: This paper presents a formal analysis method for computer programs to evaluate timing, resource use, cost, and other quality aspects. The method is applied to Java code using a tool-supported probabilistic program performance analysis method. The results show that the method accurately predicts the performance changes of the code under different conditions.
INFORMATION AND SOFTWARE TECHNOLOGY
(2023)
Article
Automation & Control Systems
Eric Bernd Gil, Genaina Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu
Summary: This paper introduces a framework called MutRoSe for Multi-Robot mission Specification and decomposition, which simplifies and automates the process of allocating concrete tasks to each robot in a multi-robot system. MutRoSe allows mission designers to define mission and environment aspects in a high-level specification language, taking into account real-world scenarios, task dependencies, and task library reusability. Additionally, MutRoSe automates the decomposition of MRS missions into task instances and allocates them to specific robots with appropriate consideration of task dependencies. The effectiveness of MutRoSe is demonstrated through the application to four missions from a published repository of MRS applications.
ROBOTICS AND AUTONOMOUS SYSTEMS
(2023)
Article
Biochemical Research Methods
Emad Alharbi, Radu Calinescu, Kevin Cowtan
Summary: A neural network was trained to identify and remove unfavorable fragments in the protein model-building process, resulting in improved backbone tracing. Experimental results showed that using the neural network in Buccaneer software significantly increased the completeness of protein models.
ACTA CRYSTALLOGRAPHICA SECTION D-STRUCTURAL BIOLOGY
(2023)
Proceedings Paper
Automation & Control Systems
Danny Weyns, Thomas Vogel
Summary: Despite the wide use of self-adaptation in industry and the vast body of knowledge in the self-adaptive systems community, it is unclear if and to what extent industry leverages academic output. Therefore, it is important for the research community to determine if the solutions developed by this community are mature enough for industrial adoption. To address this question, we propose using empirically-grounded guidelines for industry-relevant artifacts in self-adaptation, which are actively promoted and applied by the community.
2023 IEEE/ACM 18TH SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS
(2023)
Proceedings Paper
Automation & Control Systems
Danny Weyns, Jesper Andersson
Summary: Engineering long-running computing systems that can adapt to changing conditions is challenging. Despite substantial automation, system evolution remains human-driven, which becomes unmanageable as systems grow complex. This paper defines and applies the concept of operational design domain (ODD) to self-adaptive systems and proposes an approach for autonomous system evolution based on ODD. Open challenges for realizing self-evolution are also discussed.
2023 IEEE/ACM 18TH SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS
(2023)
Proceedings Paper
Automation & Control Systems
Danny Weyns, Ilias Gerostathopoulos, Nadeem Abbas, Jesper Andersson, Stefan Biffl, Premek Brada, Tomas Bures, Amleto Di Salle, Patricia Lago, Angelika Musil, Juergen Musil, Patrizio Pelliccione
Summary: This paper reports preliminary results of a large-scale survey on the use of self-adaptation in practice. The survey data obtained from 113 practitioners in 16 countries provide insights into motivations, use cases, and difficulties encountered in applying self-adaptation.
2022 17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS)
(2022)
Proceedings Paper
Computer Science, Information Systems
Maxim Reynvoet, Omid Gheibi, Federico Quin, Danny Weyns
Summary: This paper proposes a novel approach called DeMiJA to deal with different jamming attacks in IoT networks. DeMiJA leverages architecture-based adaptation and the MAPE-K reference model, and the evaluation shows its effectiveness and efficiency in handling various jamming attacks.
2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2022)
(2022)
Proceedings Paper
Automation & Control Systems
Omid Gheibi, Danny Weyns
Summary: This paper presents a novel approach called lifelong self-adaptation, which enhances the functionality of self-adaptive systems using a lifelong ML layer to tackle the challenges faced by ML techniques in self-adaptation. It addresses the problem of dealing with new tasks and updates the learning models accordingly.
2022 17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS)
(2022)
Proceedings Paper
Automation & Control Systems
Federico Quin, Danny Weyns
Summary: The researchers propose a novel framework called SEAByTE for enhancing the automation of an experimentation pipeline in micro-service systems. It enables continuous A/B testing of self-adaptation solutions.
2022 17TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS)
(2022)