Searched for: subject%3A%22debugging%22
(1 - 20 of 28)

Pages

document
di Angelo, Monika (author), Durieux, T. (author), Ferreira, João F. (author), Salzer, Gernot (author)
Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like decentralized finance (DeFi) and supply-chain management. These types of applications require a high level of security that is hard to achieve due to the transparency of public blockchains....
journal article 2024
document
Fijneman, Mark (author)
Existing tools for debugging battery-free applications are limited to specific architectures or require code changes of the Device Under Test (DUT) to function. These tools also cannot measure the efficiency of the application designed for battery-free systems. Currently, there is a lack of independent broad comparisons of intermittent systems....
master thesis 2023
document
van Dorth tot Medler, Jan (author)
Background: For rigorous software testing, integration and end-to-end tests are essential to ensure the expected behavior of multiple interacting components of the system. When software is subjected to integration or end-to-end tests, it is often unfeasible to test every code change individually, as the runtime of these tests is usually...
master thesis 2023
document
Balayn, A.M.A. (author), Rikalo, N. (author), Yang, J. (author), Bozzon, A. (author)
Handling failures in computer vision systems that rely on deep learning models remains a challenge. While an increasing number of methods for bug identification and correction are proposed, little is known about how practitioners actually search for failures in these models. We perform an empirical study to understand the goals and needs of...
conference paper 2023
document
Bharos, Abri (author)
Powerful predictive AI systems have demonstrated great potential in augmenting human decision-making. Recent empirical work has argued that the vision for optimal human-AI collaboration requires ‘appropriate reliance’ of humans on AI systems. However, accurately estimating the trustworthiness of AI advice at the instance level is quite...
master thesis 2022
document
Hoefnagel, Tom (author)
Debugging and testing battery-free intermittently-powered systems is notoriously difficult. This is not only due to the additional complexity of maintaining state through power failures but also due to the lack of proper tools to test and debug these systems. As a solution, we present DIPS: a fully-featured hardware debugger for battery-free...
master thesis 2022
document
Zheng, Meng (author)
Machine learning models are so-called a "black box," which means people can not easily observe the relationship between the output and input or explain the reason for such results. In recent years, much work has been done on interpretable machine-learning, such as Shapley values, counterfactual explanations, partial dependence plots, or saliency...
master thesis 2022
document
de Winkel, J. (author), Hoefnagel, T.S. (author), Blokland, B.T. (author), Pawełczak, Przemysław (author)
Debugging and testing battery-free intermittently-powered systems is notoriously difficult. This is not only due to the additional complexity of maintaining state through power failures but also due to the lack of proper tools to test and debug these systems. As a solution, we present DIPS: a fully-featured hardware debugger for battery-free...
conference paper 2022
document
Balayn, A.M.A. (author), Rikalo, N. (author), Lofi, C. (author), Yang, J. (author), Bozzon, A. (author)
Deep learning models for image classification suffer from dangerous issues often discovered after deployment. The process of identifying bugs that cause these issues remains limited and understudied. Especially, explainability methods are often presented as obvious tools for bug identification. Yet, the current practice lacks an understanding...
conference paper 2022
document
Mikalauskas, Liudas (author)
Logging is a common practice in software development that assists developers with the maintenance of software. Logging a system optimally is a challenging task, thus Li et al. have proposed a state-of-the-art log recommendation model. However, no further attempts exist to improve the model or reproduce their results using different training data...
bachelor thesis 2021
document
Lima, Igor (author), Barros Cândido, J. (author), d'Amorim, Marcelo (author)
Context: Content Management Systems (CMS), such as WordPress, are a very popular category of software for creating web sites and blogs. These systems typically build on top of plugin architectures. Unfortunately, it is not uncommon that the combined activation of multiple plugins in a CMS web site will produce unexpected behavior. Conflict...
journal article 2020
document
Khomeriki, Georgi (author)
Debuggers are crucial tools for developers to support the process of developing software systems as they provide direct insights into the execution of their code. As software development in the industry is moving towards technology stacks that operate on increasingly higher levels of abstraction, debugging tools have not evolved as quickly. This...
master thesis 2018
document
Abdessalem, Raja Ben (author), Panichella, A. (author), Nejati, Shiva (author), Briand, Lionel C. (author), Stifter, Thomas (author)
Complex systems such as autonomous cars are typically built as a composition of features that are independent units of functionality. Features tend to interact and impact one another’s behavior in unknown ways. A challenge is to detect and manage feature interactions, in particular, those that violate system requirements, hence leading to...
conference paper 2018
document
Banken, Herman (author), Meijer, H.J.M. (author), Gousios, G. (author)
Reactive Programming is a style of programming that provides developers with a set of abstractions that facilitate event handling and stream processing. Traditional debug tools lack support for Reactive Programming, leading developers to fallback to the most rudimentary debug tool available: logging to the console. In this paper, we present the...
conference paper 2018
document
Banken, Herman (author)
Reactive Programming is a way of programming designed to provide developers with the right abstractions for creating systems that use streams of data. Traditional debug tools lack support for the abstractions provided, causing developers to fallback to the most rudimentary debug tool available: printf-debugging. In this work, we design a...
master thesis 2017
document
Koeman, V.J. (author), Hindriks, K.V. (author), Jonker, C.M. (author)
When an agent program exhibits unexpected behaviour, a developer needs to locate the fault by debugging the agent’s source code. The process of fault localisation requires an understanding of how code relates to the observed agent behaviour. The main aim of this paper is to design a source-level debugger that supports single-step execution of a...
journal article 2017
document
Ang, Aaron (author), Perez, Alexandre (author), van Deursen, A. (author), Abreu, Rui (author)
In the last two decades, a great amount of effort has been put in researching automated debugging techniques to support developers in the debugging process. However, in a widely cited user study published in 2011, Parnin and Orso found that research in automated debugging techniques made assumptions that do not hold in practice, and suggested...
conference paper 2017
document
Spruit, N. (author)
As new bugs are discovered continuously, software developers often face the task of locating and fixing the defect causing the failure, called debugging. Based on the absence of behavioral studies on this subject in literature, this study aims to get more insights into how developers think of debugging and how they debug in their IDE. To this...
master thesis 2016
document
Van Straten, J. (author)
This thesis describes the design and implementation of a VLIW processor and associated caches based on the ρ-VEX concept. An ρ-VEX processor must be dynamically (runtime) reconfigurable to behave as a single large processor, two medium-sized processors, or four small processors. This allows a scheduler to optimize for energy and/or performance...
student report 2016
document
Gupta, R.K. (author)
Electronic companies are increasingly using field-programmable gate arrays in various domains such as application acceleration, complex digital designs or ASIC prototyping. The Verification phase holds a significant place in the FPGA design development process. A key challenge during verification is observability. This is defined as the ability...
master thesis 2015
Searched for: subject%3A%22debugging%22
(1 - 20 of 28)

Pages