19 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…
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…
Yongding Tao, Jingling Xue
Delta debugging assumes search space monotonicity: if a program causes a failure, any supersets of that program will also induce the same failure, permitting the exclusion of subsets of non-failureinducing programs. However, this assumption does not always hold in practice. This paper introduces Probabilistic…
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…
Pablo Morcelle del Valle, Aitor Arrieta, Maite Arratibel
Elevator systems are one kind of Cyber-Physical Systems (CPSs), and as such, test cases are usually complex and long in time. This is mainly because realistic test scenarios are employed (e.g., for testing elevator dispatching algorithms, typically a full day of passengers traveling through a system of elevators is…
Hui He, Dongyan Zhang, Min Liu, Weizhe Zhang + 1 more
Software security defects have a serious impact on the software quality and reliability. It is a major hidden danger for the operation of a system that a software system has some security flaws. When the scale of the software increases, its vulnerability has becoming much more difficult to find out. Once these…
Heling Cao, Fei Wang, Miaolei Deng, Lei Li + 1 more
Background Spectrum-based Fault localization have proven to be useful in the process of software testing and debugging. However, how to improve the effectiveness of software fault localization has always been a research hot spot in the field of software engineering. Dynamic slicing can extract program dependencies…
Sabin Belu, Daniela Coltuc, Luis Javier Garcia Villalba
We propose an innovative delta-differencing algorithm that combines software-updating methods with LZ77 data compression. This software-updating method relates to server-side software that creates binary delta files and to client-side software that performs software-update installations. The proposed algorithm creates…
Aurora Papotti, Katja Tuma, Fabio Massacci
Slicing is a fault localization technique that has been proposed to support debugging and program comprehension. Yet, its empirical effectiveness during code inspection by humans has received limited attention. The goal of our study is two-fold. First, we aim to define what it means for a code reviewer to identify the…
Kiavash Fathi, Hans Wernher van de Venn, Marcel Honegger, Biswanath Samanta
'Biswanath Samanta'] Performing predictive maintenance (PdM) is challenging for many reasons. Dealing with large datasets which may not contain run-to-failure data (R2F) complicates PdM even more. When no R2F data are available, identifying condition indicators (CIs), estimating the health index (HI), and thereafter…
Yang Liu, Jianying Liu, Bryan A. Johnson, Hongjie Xia + 8 more
SARS-CoV-2 Delta variant has rapidly replaced the Alpha variant around the world. The mechanism that drives this global replacement has not been defined. Here we report that Delta spike mutation P681R plays a key role in the Alpha-to-Delta variant replacement. In a replication competition assay, Delta SARS-CoV-2…
Geonbae Na, Jongsu Lim, Sunjun Lee, Jeong Hyun Yi
As interest in Internet of Things environments rapidly increases throughout the IT convergence field, compatibility with mobile devices must be provided to enable personalized services. The security of mobile platforms and applications is critical because security vulnerabilities of mobile devices can be spread to all…
Authors not listed
The accurate prediction of fuel mixture properties is essential for the development of alternative fuels, yet remains challenging under data-scarce conditions due to the combinatorial complexity of multi-component systems. In this study, we present a systematic evaluation of three machine learning (ML)…
Dong-Kyun Ryu, Hye-Min Woo, Bobin Kang, Hanmi Noh + 16 more
The Delta variant originally from India is rapidly spreading across the world and causes to resurge infections of SARS-CoV-2. We previously reported that CT-P59 presented its in vivo potency against Beta and Gamma variants, despite its reduced activity in cell experiments. Yet, it remains uncertain to exert the…
Han Geurdes
In this paper we ask if there is an interesting twist in mathematics of the Feynman propagator of the present day [1] formalism for the Dirac equation. The case studied is with only a potential function V . If there is no special integration order per step for e.g. dx(0) = dx1dx2dx3 and dp(0) = dp1dp2dp3, then a delta…
Allison J. Greaney, Rachel T. Eguia, Tyler N. Starr, Khadija Khan + 7 more
Exposure histories to SARS-CoV-2 variants and vaccinations will shape the specificity of antibody responses. To understand the specificity of Delta-elicited antibody immunity, we characterize the polyclonal antibody response elicited by primary or mRNA vaccine-breakthrough Delta infections. Both types of infection…
Yafei Liu, Noriko Arase, Jun-ichi Kishikawa, Mika Hirose + 20 more
mRNA-based vaccines provide effective protection against most common SARS-CoV-2 variants. However, identifying likely breakthrough variants is critical for future vaccine development. Here, we found that the Delta variant completely escaped from anti-N-terminal domain (NTD) neutralizing antibodies, while increasing…
Fernando Cruz, João Capela, Eugénio C. Ferreira, Miguel Rocha + 1 more
As the reconstruction of Genome-Scale Metabolic Models becomes standard practice in systems biology, the number of organisms having at least one metabolic model at the genome-scale is peaking at an unprecedented scale. The automation of several laborious tasks, such as gap-finding and gap-filling, allowed to develop…
Authors not listed
Accurately predicting activation energies is crucial for understanding chemical reactions and modeling complex reaction systems. However, the high computational cost of quantum chemistry methods often limits the feasibility of large-scale studies, leading to a scarcity of high-quality activation energy data. In this…