- document
-
Wessel, Mairieli (author), Abdellatif, Ahmad (author), Wiese, Igor Scaliante (author), Conte, Tayana (author), Shihab, Emad (author), Gerosa, Marco Aurélio (author), Steinmacher, Igor (author)Software bots automate tasks within Open Source Software (OSS) projects’ pull requests and save reviewing time and effort (“the good”). However, their interactions can be disruptive and noisy and lead to information overload (“the bad”). To identify strategies to overcome such problems, we applied Design Fiction as a participatory method with 32...conference paper 2022
- document
-
Maddila, C.S. (author), Nagappan, Nachiappan (author), Bird, Christian (author), Gousios, G. (author), van Deursen, A. (author)Modern, complex software systems are being continuously extended and adjusted. The developers responsible for this may come from different teams or organizations, and may be distributed over the world. This may make it difficult to keep track of what other developers are doing, which may result in multiple developers concurrently editing the...journal article 2022
- document
-
Olsthoorn, Mitchell (author), van Deursen, A. (author), Panichella, A. (author)Transaction-reverting statements are key constructs within Solidity that are extensively used for authority and validity checks. Current state-of-the-art search-based testing and fuzzing approaches do not explicitly handle these statements and therefore can not effectively detect security vulnerabilities. In this paper, we argue that it is...conference paper 2022
- document
-
Marijan, Dusica (author), Lal, C. (author)As blockchain technology is gaining popularity in industry and society, solutions for Verification and Validation (V&V) of blockchain-based software applications (BC-Apps) have started gaining equal attention. To ensure that BC-Apps are properly developed before deployment, it is paramount to apply systematic V&V to verify their...review 2022
- document
-
Devroey, Xavier (author), Gambi, Alessio (author), Galeotti, Juan Pablo (author), Just, René (author), Kifetew, Fitsum Meshesha (author), Panichella, Sebastiano (author), Panichella, A. (author)Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and various platforms (e.g., desktop, web, or mobile applications). The generators exhibit varying effectiveness and efficiency,...journal article 2022
- document
-
Derakhshanfar, P. (author)Software testing is one of the essential and expensive tasks in software development. Hence, many approaches were introduced to automate different software testing tasks. Among these techniques, search-based test generation techniques have been vastly applied in real-world cases and have shown promising results. These strategies apply search...doctoral thesis 2021
- document
-
Kovalenko, V.V. (author)Specialized tools, such as IDEs, issue trackers, and code review tools, are an indispensable part of the modern software engineering process. These tools are constantly evolving. Besides enabling tools to support a wider range of technologies and frameworks, we are learning to provide additional features in completely new ways. One prominent...doctoral thesis 2021
- document
-
Spadini, D. (author)Automated testing has become an essential process for improving the quality of software systems. Automated tests can help ensure that production code is robust under many usage conditions and that code meets performance and security needs. Nevertheless, writing effective tests is challenging and, unfortunately, often neglected. In the first part...doctoral thesis 2021
- document
-
Carvajal Godínez, J. (author)Since the launch of the first artificial satellite in October 1957, both satellite computers and their onboard software have changed significantly to integrate more functionalities and making mission operations more reliable. As a result, satellites have become more sophisticated and mission designers have moved functionality from the ground...doctoral thesis 2021
- document
-
Fonseca, Xavier (author)This thesis broadens current understanding of how location-based games can promote meaningful social interaction in citizens' own neighbourhoods. It investigates social cohesion and the role of social interaction to its promotion, delves into which requirements users have for playing in their neighbourhood and with its citizens, and takes a...doctoral thesis 2021
- document
-
Molera Calvés, G. (author), Pogrebenko, S. V. (author), Wagner, J. F. (author), Cimò, G. (author), Gurvits, L. (author), Bocanegra-Bahamón, T. M. (author), Duev, D. A. (author), Nunes, N. V. (author)We present a software package for single-dish data processing of spacecraft signals observed with VLBI-equipped radio telescopes. The Spacecraft Doppler tracking (SDtracker) software allows one to obtain topocentric frequency detections with a sub-Hz precision and reconstructed and residual phases of the carrier signal of any spacecraft or...journal article 2021
- document
-
Diouf, C.E.V. (author), Janssen, G.J.M. (author), Dun, H. (author), Kazaz, T. (author), Tiberius, C.C.J.M. (author)For validation and demonstration of high accuracy ranging and positioning algorithms and systems, a wideband radio signal generation and acquisition testbed, tightly synchronized in time and frequency, is needed. The development of such a testbed requires solutions to several challenges. Tight time and frequency synchronization, derived from...journal article 2021
- document
-
Ritter, Steve (author), Heffernan, Neil (author), Williams, Joseph Jay (author), Lomas, J.D. (author), Bicknell, Klinton (author)The emerging discipline of Learning Engineering is focused on putting into place tools and processes that use the science of learning as a basis for improving educational outcomes. An important part of Learning Engineering focuses on improving the effectiveness of educational software. In many software domains, A/B testing has become a...conference paper 2021
- document
-
van Mil, Frenk (author), Rastogi, A. (author), Zaidman, A.E. (author)Background: Personality plays a pivotal role in our understanding of human actions and behavior. Today, the applications of personality are widespread, built on the solutions from psychology to infer personality. Aim: In software engineering, for instance, one widely used solution to infer personality uses textual communication data. As studies...conference paper 2021
- document
-
Aniche, Maurício (author), Treude, Christoph (author), Zaidman, A.E. (author)One of the main challenges that developers face when testing their systems lies in engineering test cases that are good enough to reveal bugs. And while our body of knowledge on software testing and automated test case generation is already quite significant, in practice, developers are still the ones responsible for engineering test cases...journal article 2021
- document
-
Panichella, A. (author), Liem, C.C.S. (author)Mutation testing is a well-established technique for assessing a test suite’s quality by injecting artificial faults into production code. In recent years, mutation testing has been extended to machine learning (ML) systems, and deep learning (DL) in particular; researchers have proposed approaches, tools, and statistically sound heuristics to...conference paper 2021
- document
-
van der Leij, David (author), Binda, J.R. (author), van Dalen, Robbert (author), Vallen, Pieter (author), Luo, Yaping (author), Aniche, Maurício (author)The sound identification of refactoring opportunities is still an open problem in software engineering. Recent studies have shown the effectiveness of machine learning models in recommending methods that should undergo different refactoring operations. In this work, we experiment with such approaches to identify methods that should undergo an...conference paper 2021
- document
-
Devroey, Xavier (author), Amrani, Moussa (author), Vanderose, Benoît (author)Acquiring soft and project skills during their studies is of paramount importance for computer science students to integrate large development teams after graduating. Project-oriented learning offers interesting opportunities for teachers to tutor students, and allows them to acquire and train those skills in addition to the core topics of the...conference paper 2021
- document
-
Widl, Edmund (author), Agugiaro, G. (author), Peters-Anders, Jan (author)Worldwide, cities are nowadays formulating their own sustainability goals, including ambitious targets related to the generation and consumption of energy. In order to support decision makers in reaching these goals, energy experts typically rely on simulation models of urban energy systems, which provide a cheap and efficient way to analyze...journal article 2021
- document
-
Olsthoorn, Mitchell (author), Panichella, A. (author)Test Case Selection (TCS) aims to select a subset of the test suite to run for regression testing. The selection is typically based on past coverage and execution cost data. Researchers have successfully used multi-objective evolutionary algorithms (MOEAs), such as NSGA-II and its variants, to solve this problem. These MOEAs use traditional...conference paper 2021