- document
-
Hejderup, J.I. (author)Developers strategically reuse code to expedite project development and lower maintenance costs. With the advent of software supply chains, integrating open-source libraries into projects has transitioned from a cumbersome, manual task to an automated, streamlined process. However, this ease of integration has downsides; adding just one library...doctoral thesis 2024
- document
-
van Dinten, I. (author), Derakhshanfar, Pouria (author), Panichella, A. (author), Zaidman, A.E. (author)Cyber-Physical Systems (CPSs) have gained traction in recent years. A major non-functional quality of CPS is performance since it affects both usability and security. This critical quality attribute depends on the specialized hardware, simulation engines, and environmental factors that characterize the system under analysis. While a large body...journal article 2024
- document
-
Valiya Valappil, S. (author), Goosen, J.F.L. (author), Aragon, A.M. (author)Ultrasonic flowmeters face unique challenges since, in addition to withstanding high fluid pressures, they have to avoid crosstalk, which is the interaction of the signals traveling through the fluid and the solid pipe. To avoid the crosstalk, which leads to poor accuracy or complete loss of the required signal, we develop a mounting...journal article 2024
- document
-
Khatami, Ali (author), Zaidman, A.E. (author)To ensure the quality of software systems, software engineers can make use of a variety of quality assurance approaches, for example, software testing, modern code review, automated static analysis, and build automation. Each of these quality assurance practices have been studied in depth in isolation, but there is a clear knowledge gap when...journal article 2024
- document
-
Andrade Borges, E.A. (author), Lantsoght, E.O.L. (author), Castellanos-Toro, Sebastián (author), Casas, Johannio Marulanda (author)Progressive deterioration is a problem that affects road infrastructure, especially bridges. This requires the development of methods to determine its influence on structural behavior, one of them being load testing. Within load testing, finite element analysis (FEA) models are used as part of the preparation process. This study focused on the...journal article 2022
- document
-
Al Alsadi, Arwa (author), Sameshima, Kaichi (author), Bleier, Jakob (author), Yoshioka, Katsunari (author), Lindorfer, Martina (author), van Eeten, M.J.G. (author), Hernandez Ganan, C. (author)The Internet of things (IoT) is composed by a wide variety of software and hardware components that inherently contain vulnerabilities. Previous research has shown that it takes only a few minutes from the moment an IoT device is connected to the Internet to the first infection attempts. Still, we know little about the evolution of exploit...conference paper 2022
- document
-
Van Oort, Bart (author), Cruz, Luis (author), Loni, Babak (author), van Deursen, A. (author)Machine Learning (ML) projects incur novel challenges in their development and productionisation over traditional software applications, though established principles and best practices in ensuring the project's software quality still apply. While using static analysis to catch code smells has been shown to improve software quality attributes...conference paper 2022
- document
-
Chuang, Ching-Chi (author), Cruz, Luis (author), van Dalen, Robbert (author), Mikovski, Vladimir (author), van Deursen, A. (author)When developing and maintaining large software systems, a great deal of effort goes into dependency management. During the whole lifecycle of a software project, the set of dependencies keeps changing to accommodate the addition of new features or changes in the running environment. Package management tools are quite popular to automate this...conference paper 2022
- document
-
Mir, S.A.M. (author), Latoskinas, Evaldas (author), Gousios, G. (author)In this paper, we present ManyTypes4Py, a large Python dataset for machine learning (ML)-based type inference. The dataset contains a total of 5, 382 Python projects with more than 869K type annotations. Duplicate source code files were removed to eliminate the negative effect of the duplication bias. To facilitate training and evaluation of...conference paper 2021
- document
-
Beigelbeck, Aaron (author), Aniche, Maurício (author), Cito, Jürgen (author)Detecting performance issues due to suboptimal code during the development process can be a daunting task, especially when it comes to localizing them after noticing performance degradation after deployment. Static analysis has the potential to provide early feedback on performance problems to developers without having to run profilers with...conference paper 2021
- document
-
Vassallo, Carmine (author), Panichella, Sebastiano (author), Palomba, Fabio (author), Proksch, S. (author), Zaidman, A.E. (author), Gall, HC (author)Automatic static analysis tools (ASATs) are instruments that support code quality assessment by automatically detecting defects and design issues. Despite their popularity, they are characterized by (i) a high false positive rate and (ii) the low comprehensibility of the generated warnings. However, no prior studies have investigated the usage...journal article 2020
- document
-
Tómasdóttir, Kristín (author), Aniche, Maurício (author), van Deursen, A. (author)A linter is a static analysis tool that warns software developers about possible code errors or violations to coding standards. By using such a tool, errors can be surfaced early in the development process when they are cheaper to fix. For a linter to be successful, it is important to understand the needs and challenges of developers when using...journal article 2020
- document
-
Roy, S. (author), van Deursen, A. (author), Hermans, F.F.J. (author)Microsoft VBA (Visual Basic for Applications) is a programming language widely used by end-user programmers, often alongside the popular spreadsheet software Excel. Together they form the popular Excel-VBA application ecosystem. Despite being popular, spreadsheets are known to be fault-prone, and to minimize risk of faults in the overall...conference paper 2019
- document
-
Keidel, S. (author), Poulsen, C.B. (author), Erdweg, S.T. (author)Abstract interpretation is a technique for developing static analyses. Yet, proving abstract interpreters sound is challenging for interesting analyses, because of the high proof complexity and proof effort. To reduce complexity and effort, we propose a framework for abstract interpreters that makes their soundness proof compositional. Key to...conference paper 2018
- document
-
Tómasdóttir, Kristín Fjóla (author), Aniche, Maurício (author), van Deursen, A. (author)Automatic static analysis tools help developers to automatically spot code issues in their software. They can be of extreme value in languages with dynamic characteristics, such as JavaScript, where developers can easily introduce mistakes which can go unnoticed for a long time, e.g., a simple syntactic or spelling mistake. Although research has...conference paper 2017
- document
-
Beller, M.M. (author), Bholanath, R.M.R. (author), McIntosh, Shane (author), Zaidman, A.E. (author)The use of automatic static analysis has been a software engineering best practice for decades. However, we still do not know a lot about its use in real-world software projects: How prevalent is the use of Automated Static Analysis Tools (ASATs) such as FindBugs and JSHint? How do developers use these tools, and how does their use evolve over...conference paper 2016
- document
-
Habets, C.J.W. (author), Peters, D.J. (author), de Gijt, J.G. (author), Metrikine, A. (author), Jonkman, Sebastiaan N. (author)Conventional seismic designs of quay walls in ports are mostly based on pseudo-static analysis. A more advanced alternative is the Performance-Based Design (PBD) method, which evaluates permanent deformations and amounts of (repairable) damage under seismic loading. The aim of this study is to investigate the suitability of this method for...journal article 2016
- document
-
Greiler, M.S. (author)The two main topics of this dissertation are plug-in-based systems and test suite comprehension. In particular, challenges during testing plug-in-based systems are revealed, and reverse engineering based techniques to support developers during test suite comprehension are presented.doctoral thesis 2013
- document
-
Hemel, Z. (author), Groenewegen, D.M. (author), Kats, L.C.L. (author), Visser, E. (author)Modern web application development frameworks provide web application developers with highlevel abstractions to improve their productivity. However, their support for static verification of applications is limited. Inconsistencies in an application are often not detected statically, but appear as errors at run-time. The reports about these...report 2010