12 papers · ranked by Valyu relevance
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…
Charaka Geethal Kapugama
—This paper introduces DDMIN-LOC, a technique that combines Delta Debugging Minimization (DDMIN) with Spectrum-Based Fault Localization (SBFL). It can be applied to programs taking string inputs, even when only a single failure-inducing input is available. DDMIN is an algorithm that systematically explores the minimal…
Mingyue Jiang, Yongqiang Tian, Tsong Yueh Chen
Delta debugging provides an automatic way to minimize a program input while preserving a certain property. However, its effectiveness fundamentally relies on the availability of test oracles to determine whether a reduced input still preserves the specific property. Consequently, the oracle problem substantially limits…
Qinyan Zhou, Peixin Zhang, Jun Sun, Haonan Zhang + 1 more
While safety alignment and guardrails help large language models (LLMs) avoid harmful outputs, they can also induce overrefusal, i.e., unwarranted rejection of benign queries that merely appear risky. We present DDOR (Delta Debugging for OverRefusal), a fully automated and explainable framework for overrefusal testing…
Phillip Entin, Wenchao Gu, Alexander Knapp, Chunyang Chen
COBOL remains critical across banking, insurance, and government infrastructure. However, maintenance is increasingly challenging due to outdated technologies, sparse documentation, and developer retirement, necessitating code translation into modern languages like C. Traditional rule-based transcompilers yield outputs…
Kehao Mao, Baokun Hu, Ruixin Lin, Zewen Li + 2 more
Automated programming has become a powerful tool for solving real-world problems. Code generation, in particular, plays a key role in improving developer productivity and reducing the entry barrier to software development. Recent advances in large language models (LLMs) have significantly improved program synthesis…
Sushma Jangra, Abhijit Mishra, Ritesh Mishra, Shikha Pandey + 1 more
In protecting crops and increasing yields, the usage of pesticides, such as deltamethrin (DELTA), has increased due to rising worldwide food demand. However, the toxicity of DELTA, its limited biodegradability, and persistence are causing harm to the environment and also human health. There exist conventional soil…
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…
Ying Dai
In recent years, generative artificial intelligence (GenAI) tools such as ChatGPT have been increasingly integrated into academic reading in higher education. Although GenAI can support processing complex academic texts, its effective use requires learners to employ metacognitive strategies to avoid uncritical…
Ryan Golden, Mingxiao Wei, Samantha Coury, Aviv Mizrahi-Kliger + 2 more
Sleep supports both the consolidation of new memories and the forgetting of others, but how the cortex flexibly controls these outcomes remains poorly understood. Recent work has shown that two types of Up states may play distinct, competing roles during slow-wave sleep (SWS): slow waves actively consolidate memory…
Sathish Sankar, Kaushika Anandharaman, Pradeesh Selvam, Aswini Jayaraman + 6 more
The SARS-CoV-2 Delta variant (B.1.617.2), initially classified as a variant of concern due to its enhanced transmissibility and vaccine-escape mutations, underwent further genomic changes following the emergence of the Omicron variant (B.1.1.529). This study investigates the genomic differences in Delta variant spike…
Authors not listed
Tools quantifying co-pollutant and public health benefits of decarbonization policies typically have coarse resolution, limiting understanding of local impacts and underestimating benefits. We present the New York Community-Scale Health and Air Pollution Policy Analysis tool, a new high resolution modeling framework to…