16 papers · ranked by Valyu relevance
Nathan Shaw, Sanjeetha Pennada, Robert M Hierons, Donghwan Shin
As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has been conducted on testing methods for detecting faults in ADS, very little attention has been paid to debugging in ADS. Debugging is an…
Jiatong Liu, Xue Yao, Zehua Zhang, Yongqiang Tian
Debugging exercises are often assessed from final code and test outcomes, yet these artifacts hide how students reproduced failures, formed hypotheses, inspected evidence, edited code, and verified fixes. We present DebugTracker, a Visual Studio Code extension that records lightweight debugging-process evidence for…
Maarten Steevens, Tom Lauwaerts, Christophe Scholliers
Debugging nondeterministic programs is inherently difficult, particularly in microcontroller environments where execution paths can diverge unpredictably due to external sensor inputs. Traditional debugging techniques often fail to capture or reproduce this nondeterministic behavior effectively. Multiverse debugging…
Liu, Boyang
—In order to meet the needs of students' programming debugging ability training, this paper designs and implements a data acquisition and analysis system for programming debugging process based on VS Code plug-in,which aims to solve the limitation of traditional assessment methods that are difficult to fully evaluate…
Daisuke Akiba
This theoretical paper introduces the Verbal-Cognitive Scaffold (VCS) Model, a cognitively inclusive framework which proposes the cognitive architectures underlying computational thinking (CT). Moving beyond monolithic theories of cognition (e.g., executive-function and metacognitive control models), the VCS Model…
C. Gómez, Fábio Petrillo
Conventional debugging techniques used in traditional software are similarly used when debugging video games. However, the reality of video games require its own set of unique debugging techniques such as On-Screen Console, Debug Draws, Debug Camera, Cheats and In-Game Menus, and Data Scrubbing. In this article, we…
Pablo Valle, Shaukat Ali, Aitor Arrieta
Simulation-based testing is widely used to validate Cyber-Physical Systems (CPSs), yet modern CPS simulators frequently exhibit non-deterministic (flaky) behavior, making failures difficult to reproduce and debug. Although delta debugging has proven effective for deterministic systems, its underlying assumptions do not…
JungWoo Park, Minju Kang, Seungho Jeon, Seong Oun Hwang + 4 more
Fault localization (FL) is the task of identifying code locations responsible for bugs in software, and it is a prerequisite step in the bug-fixing process. FL in large-scale systems such as the Linux kernel involves three core challenges: First, the vast codebase fundamentally complicates fault search. Second, the…
Zizhen Liu, Xiaoguang Mao, Deheng Yang, Jiayu He + 5 more
Fault localization in modern processor design code is a critical yet time-consuming step during processor verification. While recent advances in LLM-based techniques for module-level hardware design have shown promising results, automatically localizing bugs in large-scale, project-level processor designs remains…
Mohammadreza Namdar, Farnaz Barzinpour, Rassoul Noorossana, Mohammad Saidi-Mehrabad + 1 more
Software bug report classification is one of the most significant processes in software development for determining the nature and severity of faults based on their causes and effects. In many projects, software experts implement this process manually, which requires exorbitant time and effort. Although there are a few…
Ben Bettisworth, Alexis Stamatakis
Quality software tools for science are, as a necessity, rigorously tested and verified. However, there is a major challenge to testing software used for phylogenetics and similar analysis. There is a shortage of ground truth data which can be used for validation, resulting in a reliance on simulated data. This reliance…
Authors not listed
We present an open source collection of scripts and programs for the setup, management and evaluation of calculations with the Vienna ab-initio simulation package (VASP), called utils4VASP. It contains 20 independent Python scripts and Fortran programs, all with a unified and intuitive handling concept based on command…
Steve Taylor, Martin Gilje Jaatun, Aida Omerovic, Ravi Borgaonkar + 11 more
Internet of things (IoT) ecosystems introduce significant cybersecurity challenges due to device heterogeneity, firmware opacity, constrained resources, distributed deployment, and the integration of devices within wider socio-technical systems where they are used. Existing approaches to address IoT cybersecurity…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…
Authors not listed
The increasing importance and predictive power of modern molecular modeling, driven by physics- and machine learning-based methods, necessitates a new collaborative architecture to replace the isolated, traditional model of software development. The traditional approach often led to redundant engineering effort, high…
Authors not listed
Chemistry curricula often separate “wet” experimental work from “dry” computation, yet modern discovery increasingly demands both. This Perspective offers an instructor-ready roadmap to train “hybrid chemists” within existing courses. We distill recent advances in machine learning, automation, and real-time analytics…