English
Related papers

Related papers: Transferring Interactive Search-Based Software Tes…

200 papers

Information security governance (ISG) is a relatively new and under-researched topic. A review of literature shows the lack of an ISG framework or model that can help the implementation of ISG. This research aims to introduce an empirically…

Cryptography and Security · Computer Science 2023-02-06 Chee Kong Wong

Evaluating Software testability can assist software managers in optimizing testing budgets and identifying opportunities for refactoring. In this paper, we abandon the traditional approach of pursuing testability measurements based on the…

Software Engineering · Computer Science 2021-02-23 Luca Guglielmo , Andrea Riboni , Giovanni Denaro

The increasing complexity of systems-on-a-chip requires the continuous development of electronic design automation tools. Nowadays, the simulation of systems-on-a-chip using virtual platforms is common. Virtual platforms enable…

Hardware Architecture · Computer Science 2025-05-20 Nils Bosbach , Lukas Jünger , Jan Moritz Joseph , Rainer Leupers

Context: Specification mining techniques are typically used to extract the specification of a software in the absence of (up-to-date) specification documents. This is useful for program comprehension, testing, and anomaly detection.…

Software Engineering · Computer Science 2019-05-09 Mohammad Jafar Mashhadi , Taha R. Siddiqui , Hadi Hemmati , Howard Loewen

Cyber-physical systems development often requires engineers to search for defects in their Simulink models. Search-based software testing (SBST) is a standard technology that supports this activity. To increase practical adaption,…

Software Engineering · Computer Science 2026-04-30 Michael Marzella , Andrea Bombarda , Marcello Minervini , Nunzio Marco Bisceglia , Angelo Gargantini , Claudio Menghi

Empirical software engineering is concerned with the design and analysis of empirical studies that include software products, processes, and resources. Optimization is a form of data analytics in support of human decision-making.…

Software Engineering · Computer Science 2019-12-05 Guenther Ruhe

Context: Evidence-based software engineering (EBSE) can be an effective resource to bridge the gap between academia and industry by balancing research of practical relevance and academic rigor. To achieve this, it seems necessary to…

Software Engineering · Computer Science 2022-02-08 Sebastián Pizard , Diego Vallespir , Barbara Kitchenham

Computer-based simulation training (CBST) is gaining popularity in a vast range of applications such as surgery, rehabilitation therapy, military applications, and driver/pilot training, as it offers a low-cost, easily-accessible and…

Human-Computer Interaction · Computer Science 2017-05-16 Sudanthi Wijewickrema , Xingjun Ma , James Bailey , Gregor Kennedy , Stephen O'Leary

This paper introduces Data-Driven Search-based Software Engineering (DSE), which combines insights from Mining Software Repositories (MSR) and Search-based Software Engineering (SBSE). While MSR formulates software engineering problems as…

Software Engineering · Computer Science 2020-08-31 Vivek Nair , Amritanshu Agrawal , Jianfeng Chen , Wei Fu , George Mathew , Tim Menzies , Leandro Minku , Markus Wagner , Zhe Yu

Business process simulation (BPS) is a key tool for analyzing and optimizing organizational workflows, supporting decision-making by estimating the impact of process changes. The reliability of such estimates depends on the ability of a BPS…

Machine Learning · Computer Science 2025-05-29 Konrad Özdemir , Lukas Kirchdorfer , Keyvan Amiri Elyasi , Han van der Aa , Heiner Stuckenschmidt

The evolving landscape of software development demands that software testers continuously adapt to new tools, practices, and acquire new skills. This study investigates software testing competency needs in industry, identifies knowledge…

The software development process for embedded systems is getting faster and faster, which generally incurs an increase in the associated complexity. As a consequence, consumer electronics companies usually invest a lot of resources in fast…

Logic in Computer Science · Computer Science 2015-09-08 Felipe R. M. Sousa , Lucas C. Cordeiro , Eddie B. de Lima Filho

Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component…

Software Engineering · Computer Science 2018-11-26 Radu Calinescu , Danny Weyns , Simos Gerasimou , M. Usman Iftikhar , Ibrahim Habli , Tim Kelly

When AI tools can generate many solutions, some human preference must be applied to determine which solution is relevant to the current project. One way to find those preferences is interactive search-based software engineering (iSBSE)…

Software Engineering · Computer Science 2023-01-18 Andre Lustosa , Jaydeep Patel , Venkata Sai Teja Malapati , Tim Menzies

The evolution of information technology and electronics in general has been consistently increasing the use of embedded systems. While hardware development for these systems is already consistent, software development for embedded systems…

Software Engineering · Computer Science 2015-08-05 Rogerio Atem de Carvalho , Hudson Silva , Rafael Ferreira Toledo , Milena Silveira de Azevedo

Language style is necessary for AI systems to understand and generate diverse human language accurately. However, previous text style transfer primarily focused on sentence-level data-driven approaches, limiting exploration of potential…

Computation and Language · Computer Science 2024-10-15 Huashan Sun , Yixiao Wu , Yuhao Ye , Yizhe Yang , Yinghao Li , Jiawei Li , Yang Gao

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate…

Logic in Computer Science · Computer Science 2015-07-01 Alessandro Cimatti , Iman Narasamdya , Marco Roveri

Learning-based testing (LBT) is an emerging methodology to automate iterative black-box requirements testing of software systems. The methodology involves combining model inference with model checking techniques. However, a variety of…

Formal Languages and Automata Theory · Computer Science 2020-08-17 Muddassar A. Sindhu

It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and investigate the application of Test-Driven Development to the…

Software Engineering · Computer Science 2024-12-31 Alan Rust , Brian Bishop , Kevin McDaid

Scientists and engineers employ stochastic numerical simulators to model empirically observed phenomena. In contrast to purely statistical models, simulators express scientific principles that provide powerful inductive biases, improve…

‹ Prev 1 3 4 5 6 7 10 Next ›