Tootfinder

SATORI: Static Test Oracle Generation for REST APIs
Juan C. Alonso, Alberto Martin-Lopez, Sergio Segura, Gabriele Bavota, Antonio Ruiz-Cort\'es
https://arxiv.org/abs/2508.16318

SATORI: Static Test Oracle Generation for REST APIs
REST API test case generation tools are evolving rapidly, with growing capabilities for the automated generation of complex tests. However, despite their strengths in test data generation, these tools are constrained by the types of test oracles they support, often limited to crashes, regressions, and noncompliance with API specifications or design standards. This paper introduces SATORI (Static API Test ORacle Inference), a black-box approach for generating test oracles for REST APIs by analyz…

Fresh from intimidating ABC and CBS with meritless lawsuits,
Donald Trumpis suing Rupert Murdoch and the Wall Street Journal reporters who broke the story of a lewd birthday message for Jeffrey Epstein.
But, unlike with the frivolous allegations against the big broadcasters,
there’s clearly a fact of the matter here:
an authentic letter either exists or it does not;
-- and there is plenty to be revealed in the process of finding out.
Trump’s time-proven …

Making a new test board that I had hoped to finish tonight but got distracted by some other stuff...
Anyway, it's a STM32H750 as a peripheral for my Trion T20 devkit, hanging off one of the three 0.1" GPIO headers.
The board will have the MCU, an extra QSPI flash for additional firmware storage, a MAC address EEPROM in case I decided to add Ethernet later on, and a 25 MHz oscillator plus some LEDs.
Nothing super fancy, main goal is to validate my base support schem…

Inferring Mbh-Mbulge Evolution from the Gravitational Wave Background
Cayenne Matt, Kayhan Gultekin, Luke Kelley, Laura Blecha, Joseph Simon, Gabriella Agazie, Akash Anumarlapudi, Anne Archibald, Zaven Arzoumanian, Jeremy Baier, Paul Baker, Bence B\'ecsy, Adam Brazier, Paul Brook, Sarah Burke-Spolaor, Rand Burnette, Robin Case, James Casey-Clyde, Maria Charisi, Shami Chatterjee, Tyler Cohen, James Cordes, Neil Cornish, Fronefield Crawford, H. Thankful Cromartie, Kathryn Crowter, Me…

Inferring Mbh-Mbulge Evolution from the Gravitational Wave Background
We test the impact of an evolving supermassive black hole (SMBH) mass scaling relation (Mbh-Mbulge) on the predictions for the gravitational wave background (GWB). The observed GWB amplitude is 2-3 times higher than predicted by astrophysically informed models which suggests the need to revise the assumptions in those models. We compare a semi-analytic model's ability to reproduce the observed GWB spectrum with a static versus evolving-amplitude Mbh-Mbulge relation. We additionally consider the…

Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation
Ruiyang Ma, Daikang Kuang, Ziqian Liu, Jiaxi Zhang, Ping Fan, Guojie Luo
https://arxiv.org/abs/2508.14414

Wit-HW: Bug Localization in Hardware Design Code via Witness Test Case Generation
Debugging hardware designs requires significant manual effort during hardware development. After engineers identify a bug-triggering test case in simulation-based hardware verification, they usually spend considerable time analyzing the execution trace to localize the bug. Although numerous automated hardware debugging techniques exist, they are not applicable to large designs and deep bugs. A primary reason for their limitations is that these techniques only utilize the information of a single…

Breaking Barriers in Software Testing: The Power of AI-Driven Automation
Saba Naqvi, Mohammad Baqar
https://arxiv.org/abs/2508.16025 https://arxiv.org/pdf/…

Breaking Barriers in Software Testing: The Power of AI-Driven Automation
Software testing remains critical for ensuring reliability, yet traditional approaches are slow, costly, and prone to gaps in coverage. This paper presents an AI-driven framework that automates test case generation and validation using natural language processing (NLP), reinforcement learning (RL), and predictive models, embedded within a policy-driven trust and fairness model. The approach translates natural language requirements into executable tests, continuously optimizes them through learn…

I think I fixed the intermittent crash in the DeEmbedFilter unit test that was causing random CI failures for ngscopeclient thanks to a PR from somebody working on a different issue in the same code including a not-quite-right fix that put me on the right track.
We had two different variables called "nouts" in different parts of the code indicating different output buffer sizes. They were not the same.
The "golden" reference implementation in the test case use…

Parametric Resonance in the Non-Autonomous Sine-Gordon Model
Tomasz Dobrowolski, Jacek Gatlik, Zofia Bry{\l}owska, Panayotis G. Kevrekidis
https://arxiv.org/abs/2507.17837 https…

Parametric Resonance in the Non-Autonomous Sine-Gordon Model
The sine-Gordon model is studied with model parameters that depend on both space and time. An effective model with one degree of freedom is constructed, allowing the description of the kink movement in both a temporally non-autonomous and spatially inhomogeneous setting. As a highly demanding test of the reduced model, the case of a temporal drive leading to a parametric instability is considered. Here, the boundaries of the instability region in the form of Arnold tongues were examined in both…

Ground-Based Radar Tracking of Near-Earth Objects With VLBI Radio Telescopes: 2024 MK Test Case
Oliver White, Guifr\'e Molera Calv\'es, Shinji Horiuchi, Ed Kruzins, Edwin Peters, Nick Stacy
https://arxiv.org/abs/2509.15684

Ground-Based Radar Tracking of Near-Earth Objects With VLBI Radio Telescopes: 2024 MK Test Case
The Southern Hemisphere Asteroid Research Project is an active and informal entity comprising the University of New South Wales, the University of Tasmania, the University of Western Australia, and the Curtin University, which performs asteroid research in collaboration with federal agencies, including the Commonwealth Scientific and Industrial Research Organisation and the National Aeronautics and Space Administration (JPL). Since 2015, we have used the Australian infrastructure to characteriz…

Protocol Testing with I/O Grammars
Alexander Liggesmeyer, Jos\'e Antonio Zamudio Amaya, Andreas Zeller
https://arxiv.org/abs/2509.20308 https://arxiv.o…

Protocol Testing with I/O Grammars
Generating software tests faces two fundamental problems. First, one needs to _generate inputs_ that are syntactically and semantically correct, yet sufficiently diverse to cover behavior. Second, one needs an _oracle_ to _check outputs_ whether a test case is correct or not. Both problems become apparent in _protocol testing_, where inputs are messages exchanged between parties, and outputs are the responses of these parties. In this paper, we propose a novel approach to protocol testing tha…

GRB 241105A: A test case for GRB classification and rapid r-process nucleosynthesis channels
Dimple, B. P. Gompertz, A. J. Levan, D. B. Malesani, T. Laskar, S. Bala, A. A. Chrimes, K. Heintz, L. Izzo, G. P. Lamb, D. O'Neill, J. T. Palmerio, A. Saccardi, G. E. Anderson, C. De Barra, Y. Huang, A. Kumar, H. Li, S. McBreen, O. Mukherjee, S. R. Oates, U. Pathak, Y. Qiu, O. J. Roberts, R. Sonawane, P. Veres, K. Ackley, X. Han, Y. Julakanti, J. Wang, P. D'Avanzo, A. Martin-Carrillo, M…

GRB 241105A: A test case for GRB classification and rapid r-process nucleosynthesis channels
Gamma-ray bursts (GRBs) offer a powerful window to probe the progenitor systems responsible for the formation of heavy elements through the rapid neutron capture (r-) process, thanks to their exceptional luminosity, which allows them to be observed across vast cosmic distances. GRB 241105A, observed at a redshift of z = 2.681, features a short initial spike (1.5 s) and a prolonged weak emission lasting about 64 s, positioning it as a candidate for a compact binary merger and potentially marking…

Rigidity and positivity of Hawking quasi-local energy on area-constrained critical surfaces
Alejandro Pe\~nuela Diaz
https://arxiv.org/abs/2507.16588 https…

Rigidity and positivity of Hawking quasi-local energy on area-constrained critical surfaces
A key test for any quasi-local energy in general relativity is that it be nonnegative and satisfy a rigidity property; if it vanishes, the region enclosed is flat. We show that the Hawking energy, when evaluated on its natural area-constrained critical surfaces, henceforth called "Hawking surfaces", satisfies both properties under the dominant energy condition. In the time-symmetric case, where Hawking surfaces coincide with area-constrained Willmore surfaces, we extend positivity and rigidity …

ATLAS: AI-Native Receiver Test-and-Measurement by Leveraging AI-Guided Search
Mauro Belgiovine, Suyash Pradhan, Johannes Lange, Michael L\"ohning, Kaushik Chowdhury
https://arxiv.org/abs/2508.12204

ATLAS: AI-Native Receiver Test-and-Measurement by Leveraging AI-Guided Search
Industry adoption of Artificial Intelligence (AI)-native wireless receivers, or even modular, Machine Learning (ML)-aided wireless signal processing blocks, has been slow. The main concern is the lack of explainability of these trained ML models and the significant risks posed to network functionalities in case of failures, especially since (i) testing on every exhaustive case is infeasible and (ii) the data used for model training may not be available. This paper proposes ATLAS, an AI-guided a…

The Judge Variable: Challenging Judge-Agnostic Legal Judgment Prediction
Guillaume Zambrano
https://arxiv.org/abs/2507.13732 https://…

The Judge Variable: Challenging Judge-Agnostic Legal Judgment Prediction
This study examines the role of human judges in legal decision-making by using machine learning to predict child physical custody outcomes in French appellate courts. Building on the legal realism-formalism debate, we test whether individual judges' decision-making patterns significantly influence case outcomes, challenging the assumption that judges are neutral variables that apply the law uniformly. To ensure compliance with French privacy laws, we implement a strict pseudonymization process.…

Two-Sample Testing with Missing Data via Energy Distance: Weighting and Imputation Approaches
Danijel G. Aleksi\'c, Bojana Milo\v{s}evi\'c
https://arxiv.org/abs/2508.11421

Two-Sample Testing with Missing Data via Energy Distance: Weighting and Imputation Approaches
In this paper, we address the problem of two-sample testing in the presence of missing data under a variety of missingness mechanisms. Our focus is on the well-known energy distance-based two-sample test. In addition to the standard complete-case approach, we propose a modification of the test statistic that incorporates all available data, utilizing appropriate weights. The asymptotic null distribution of the test statistic is derived and two resampling procedures for approximating the corresp…

Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
Hossein Yousefizadeh, Shenghui Gu, Lionel C. Briand, Ali Nasr
https://arxiv.org/abs/2509.16478

Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
Autonomous systems, such as autonomous driving systems, evolve rapidly through frequent updates, risking unintended behavioral degradations. Effective system-level testing is challenging due to the vast scenario space, the absence of reliable test oracles, and the need for practically applicable and interpretable test cases. We present CoCoMagic, a novel automated test case generation method that combines metamorphic testing, differential testing, and advanced search-based techniques to identif…

I love it when there's an advancement in forensic science that closes a cold case.
#coldcase #forensics #DNA #twins

Her rape was unsolved for decades. The suspects were identical twins.
Investigators in Prince William County, Virginia, used an advanced test to distinguish the DNA of identical twins and solve a decades-old rape case.

The Curious Case of V CVn
Michael T. Power, Hilding R. Neilson, Galina Sherren
https://arxiv.org/abs/2509.11672 https://arxiv.org/pdf/2509.11672

The Curious Case of V CVn
Decades of observations on the star V Canum Venaticorum (V CVn) have revealed an unusual inverse relationship between its linear polarization and light curves (sometimes with a lead/lag time between them) and an almost constant polarization position angle. One theory proposed to explain this behaviour is the existence of a bow shock driven by a spherically symmetric time-varying dusty wind from the star, which is assumed to vary due to radial pulsations. To test this hypothesis, this study uses…

Crosslisted article(s) found for physics.space-ph. https://arxiv.org/list/physics.space-ph/new
[1/1]:
- Ground-Based Radar Tracking of Near-Earth Objects With VLBI Radio Telescopes: 2024 MK Test Case
Oliver White, Guifr\'e Molera Calv\'es, Shinji Horiuchi, Ed Kruz…

A YTD correspondence for constant scalar curvature metrics
Tam\'as Darvas, Kewei Zhang
https://arxiv.org/abs/2509.15173 https://arxiv.org/pdf/2509.1517…

A YTD correspondence for constant scalar curvature metrics
Given a compact Kähler manifold, we provide a uniform YTD correspondence that characterizes the existence of a unique constant scalar curvature metric using ample/Kähler test configurations. The main point of our approach is to replace the $K$ energy with much better behaving variants, whose properties are similar to the Ding energy from the Fano case. Connections with the non-Archimedean point of view on K-stability are also briefly discussed.

Brazil offers America a lesson in democratic maturity. It is a test case for how countries recover from a populist fever.
https://economist.com/leaders/2025/08/28/brazil-offers-america-a-lesson-in-democratic-maturity
from The Ec…

Brazil offers America a lesson in democratic maturity
It is a test case for how countries recover from a populist fever

Transforming Football Data into Object-centric Event Logs with Spatial Context Information
Vito Chan, Lennart Ebert, Paul-Julius Hillmann, Christoffer Rubensson, Stephan A. Fahrenkrog-Petersen, Jan Mendling
https://arxiv.org/abs/2507.12504

Transforming Football Data into Object-centric Event Logs with Spatial Context Information
Object-centric event logs expand the conventional single-case notion event log by considering multiple objects, allowing for the analysis of more complex and realistic process behavior. However, the number of real-world object-centric event logs remains limited, and further studies are needed to test their usefulness. The increasing availability of data from team sports can facilitate object-centric process mining, leveraging both real-world data and suitable use cases. In this paper, we presen…

Testing for LLM response differences: the case of a composite null consisting of semantically irrelevant query perturbations
Aranyak Acharyya, Carey E. Priebe, Hayden S. Helm
https://arxiv.org/abs/2509.10963

Testing for LLM response differences: the case of a composite null consisting of semantically irrelevant query perturbations
Given an input query, generative models such as large language models produce a random response drawn from a response distribution. Given two input queries, it is natural to ask if their response distributions are the same. While traditional statistical hypothesis testing is designed to address this question, the response distribution induced by an input query is often sensitive to semantically irrelevant perturbations to the query, so much so that a traditional test of equality might indicate …

Fast Non-Episodic Adaptive Tuning of Robot Controllers with Online Policy Optimization
James A. Preiss, Fengze Xie, Yiheng Lin, Adam Wierman, Yisong Yue
https://arxiv.org/abs/2507.10914

Fast Non-Episodic Adaptive Tuning of Robot Controllers with Online Policy Optimization
We study online algorithms to tune the parameters of a robot controller in a setting where the dynamics, policy class, and optimality objective are all time-varying. The system follows a single trajectory without episodes or state resets, and the time-varying information is not known in advance. Focusing on nonlinear geometric quadrotor controllers as a test case, we propose a practical implementation of a single-trajectory model-based online policy optimization algorithm, M-GAPS,along with rep…

from my link log —
Delta debugging: simplifying and isolating failure-inducing input with automatic test case reduction. (2002)
https://www.st.cs.uni-saarland.de/publications/details/zeller-tse-2002/
saved 2025-06-07

35-year-old former U.S. Army sergeant, Bajun “Baji” Mavalwalla II,
faces up to six years in prison
for protesting against ICE deportations
in what legal experts are calling a test case for the
Trump administration’s attempts to criminalize and punish dissent.
Mavalwalla was arrested and charged with “conspiracy to impede or injure officers”
after he was identified in a video taken at the protest and shared on Instagram.
Mavalwalla, who survived a ro…

Army Vet Charged with “Conspiracy” for ICE Protest as Trump Expands War on Dissent
A 35-year-old former U.S. Army sergeant, Bajun “Baji” Mavalwalla II, faces up to six years in prison for protesting against ICE deportations in what legal experts are calling a test case for the Trump administration’s attempts to criminalize and punish dissent. Mavalwalla was arrested and charged with “conspiracy to impede or injure officers” after he was identified in a video taken at the protest and shared on Instagram. Mavalwalla, who survived a roadside bomb blast while serving in…

Austria's sustainable EV battery case made with cork and wood outperforms Tesla in fire test. #climatechange #climatesolutions #climate

Austria's EV battery case made with cork, wood beats Tesla in fire test
Scientists have developed a wood-steel EV battery housing that outperforms Tesla's in crash and fire trials.

Overlapping IPv4, IPv6, and TCP data: exploring errors, test case context and multiple overlaps inside network stacks and NIDSes with PYROLYSE
Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier
https://arxiv.org/abs/2508.00735

Overlapping IPv4, IPv6, and TCP data: exploring errors, test case context and multiple overlaps inside network stacks and NIDSes with PYROLYSE
IP fragmentation and TCP segmentation allow for splitting large data packets into smaller ones, e.g., for transmission across network links of limited capacity. These mechanisms permit complete or partial overlaps with different data on the overlapping portions. IPv4, IPv6, and TCP reassembly policies, i.e., the data chunk preferences that depend on the overlap types, differ across protocol implementations. This leads to vulnerabilities, as NIDSes may interpret the packet differently from the m…

Tracing correlations between galaxy properties across the Cosmic Web: An IllustrisTNG-based study
Anindita Nandi, Biswajit Pandey, Prakash Sarkar
https://arxiv.org/abs/2509.11288

Tracing correlations between galaxy properties across the Cosmic Web: An IllustrisTNG-based study
We explore the impact of cosmic web environments on galaxy properties such as $(u-r)\,$colour, stellar mass, star formation rate, and stellar metallicity, using a stellar mass-matched sample of simulated galaxies from the IllustrisTNG simulation. We use Normalized Mutual Information (NMI) to quantify correlations among galaxy properties and apply Student's t-test to assess the statistical significance of their differences across cosmic web environments. In every case, the null hypothesis is rej…

WIMP Dark Matter within the dark photon portal
X. G. Wang, B. M. Loizos, A. W. Thomas
https://arxiv.org/abs/2508.08676 https://arxiv.org/pdf/2508.08676

WIMP Dark Matter within the dark photon portal
We test the dark photon as a portal connecting to the dark sector in the case of Dirac fermion and complex scalar dark matter with masses up to 1 TeV. Both the dark photon and the $Z$ boson contribute to the dark matter annihilation and dark matter--nucleon scattering processes. We derive the lower limits on the dark parameters from thermal relic density. The corresponding spin-independent dark matter--proton cross sections are compared with the upper bounds set by direct detection. We explore …

An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
Sina Gogani-Khiabani (University of Illinois Chicago), Ashutosh Trivedi (University of Colorado Boulder), Diptikalyan Saha (IBM Research), Saeid Tizpaz-Niari (University of Illinois Chicago)
https://arxiv.org/abs/2509.13471

An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
Large language models (LLMs) show promise for translating natural-language statutes into executable logic, but reliability in legally critical settings remains challenging due to ambiguity and hallucinations. We present an agentic approach for developing legal-critical software, using U.S. federal tax preparation as a case study. The key challenge is test-case generation under the oracle problem, where correct outputs require interpreting law. Building on metamorphic testing, we introduce highe…

An Approach to Grounding AI Model Evaluations in Human-derived Criteria
Sasha Mitts
https://arxiv.org/abs/2509.04676 https://arxiv.org/pdf/2509.04676

An Approach to Grounding AI Model Evaluations in Human-derived Criteria
In the rapidly evolving field of artificial intelligence (AI), traditional benchmarks can fall short in attempting to capture the nuanced capabilities of AI models. We focus on the case of physical world modeling and propose a novel approach to augment existing benchmarks with human-derived evaluation criteria, aiming to enhance the interpretability and applicability of model behaviors. Grounding our study in the Perception Test and OpenEQA benchmarks, we conducted in-depth interviews and large…

A transcendental non-Archimedean Calabi--Yau Theorem with applications to the cscK problem
Pietro Mesquita-Piccione, David Witt Nystr\"om
https://arxiv.org/abs/2509.09442 h…

A transcendental non-Archimedean Calabi--Yau Theorem with applications to the cscK problem
Let $X$ be a compact Kähler manifold and $α$ a Kähler class on $X$. We prove that if $(X,α)$ is uniformly K-stable for models, then there is a unique cscK metric in $α$. This was first proved in the algebraic case by Chi Li, and it strengthens a related result in an article of Mesquita-Piccione. K-stability for models is defined in terms of big test configurations, but we also give a valuative criterion as in the work of Boucksom--Jonsson together with an explicit formula for the associate…

Simulation-based validation of Bayes factor computation
Martin Modr\'ak, Sebastian Stroppel, Paul-Christian B\"urkner
https://arxiv.org/abs/2508.11814 https://

Simulation-based validation of Bayes factor computation
We propose and evaluate two methods that validate the computation of Bayes factors: one based on an improved variant of simulation-based calibration checking (SBC) and one based on calibration metrics for binary predictions. We show that in theory, binary prediction calibration is equivalent to a special case of SBC, but with finite resources, binary prediction calibration is typically more sensitive. With well-designed test quantities, SBC can however detect all possible problems in computatio…

New Lorentzian Taub-NUT and Euclidean Eguchi-Hanson Solutions in $f(R)$ gravity
J. G. Fenwick, A. M. Ghezelbash
https://arxiv.org/abs/2509.08033 https://ar…

New Lorentzian Taub-NUT and Euclidean Eguchi-Hanson Solutions in $f(R)$ gravity
A New Taub-NUT black hole in multiple coordinate systems is solved and analyzed. This black-hole is found to be an extension of the Clifton-Barrow metric for the specific case that $δ=-1/2$. We look at physical properties such as test particle orbits, thermodynamics, and various space-time limits. In addition, we show an Eguchi-Hanson type-II $f(R)$ solution related to the found Taub-NUT framework.

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
Hanlong Wan, Xing Lu, Yan Chen, Karthik Devaprasad, Laura Hinkle
https://arxiv.org/abs/2509.14623

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
Dynamic energy systems and controls require advanced modeling frameworks to design and test supervisory and fault tolerant strategies. Modelica is a widely used equation based language, but developing control modules is labor intensive and requires specialized expertise. This paper examines the use of large language models (LLMs) to automate the generation of Control Description Language modules in the Building Modelica Library as a case study. We developed a structured workflow that combines s…

Optimized smoothing kernels for SPH
Robert Wissing, Thomas R. Quinn, Ben Keller, James Wadsley, Sijing Shen
https://arxiv.org/abs/2508.08471 https://arxiv.…

Optimized smoothing kernels for SPH
We present a set of new smoothing kernels for smoothed particle hydrodynamics (SPH) that improve the convergence of the method without any additional computational cost. These kernels are generated through a linear combination of other SPH kernels, combined with an optimization strategy to minimize the error in the Gresho-Chan vortex test case. To facilitate the different choices in gradient operators for SPH in the literature, we perform this optimization for both geometric density average for…

Klear-CodeTest: Scalable Test Case Generation for Code Reinforcement Learning
Jia Fu, Xinyu Yang, Hongzhi Zhang, Yahui Liu, Jingyuan Zhang, Qi Wang, Fuzheng Zhang, Guorui Zhou
https://arxiv.org/abs/2508.05710

Klear-CodeTest: Scalable Test Case Generation for Code Reinforcement Learning
Precise, correct feedback is crucial for effectively training large language models (LLMs) in code reinforcement learning. However, synthesizing high-quality test cases remains a profoundly challenging and unsolved problem. In this work, we present Klear-CodeTest, a comprehensive test case synthesis framework featuring rigorous verification to ensure quality and reliability of test cases. Our approach achieves broad coverage of programming problems via a novel Generator-Validation (G-V) framewo…

RUM: Rule LLM-Based Comprehensive Assessment on Testing Skills
Yue Wang, Zhenyu Chen, Yuan Zhao, Chunrong Fang, Ziyuan Wang, Song Huang
https://arxiv.org/abs/2508.12922 https://…

RUM: Rule+LLM-Based Comprehensive Assessment on Testing Skills
Over the past eight years, the META method has served as a multidimensional testing skill assessment system in the National College Student Contest on Software Testing, successfully assessing over 100,000 students' testing skills. However, META is primarily limited to the objective assessment of test scripts, lacking the ability to automatically assess subjective aspects such as test case and test report. To address this limitation, this paper proposes RUM, a comprehensive assessment approach t…

Large deviations in non-Markovian stochastic epidemics
Matan Shmunik, Michael Assaf
https://arxiv.org/abs/2509.09480 https://arxiv.org/pdf/2509.09480

Large deviations in non-Markovian stochastic epidemics
We develop a framework for non-Markovian SIR and SIS models beyond mean field, utilizing the continuous-time random walk formalism. Using a gamma distribution for the infection and recovery inter-event times as a test case, we derive asymptotical late-time master equations with effective memory kernels and obtain analytical predictions for the final outbreak size distribution in the SIR model, and quasistationary distribution and disease lifetime in the SIS model. We show that increasing memory…

GenAI-based test case generation and execution in SDV platform
Denesa Zyberaj, Lukasz Mazur, Nenad Petrovic, Pankhuri Verma, Pascal Hirmer, Dirk Slama, Xiangwei Cheng, Alois Knoll
https://arxiv.org/abs/2509.05112

GenAI-based test case generation and execution in SDV platform
This paper introduces a GenAI-driven approach for automated test case generation, leveraging Large Language Models and Vision-Language Models to translate natural language requirements and system diagrams into structured Gherkin test cases. The methodology integrates Vehicle Signal Specification modeling to standardize vehicle signal definitions, improve compatibility across automotive subsystems, and streamline integration with third-party testing tools. Generated test cases are executed withi…

Revisiting the Question of Information Content of EXAFS Spectra through a Bayesian Approach
Lucy Haddad, Diego Gianolio, Andrei Sapelkin
https://arxiv.org/abs/2509.07950 https:/…

Revisiting the Question of Information Content of EXAFS Spectra through a Bayesian Approach
Over the last several decades the Shannon-Nyquist criterion has been widely used as a measure of the maximum information content in EXAFS spectra and provided an upper limit on the number of parameters used in fitting data. However, the criterion implicitly assumes independent parameters which is never the case in EXAFS analysis. Here we introduce a new criterion to measure the information content in EXAFS based on Bayesian approach that lifts the above condition. We test the new criterion by f…

Randomization Inference with Sample Attrition
Xinran Li, Peizan Sheng, Zeyang Yu
https://arxiv.org/abs/2507.00795 https://arxiv.org/p…

Randomization Inference with Sample Attrition
Although appealing, randomization inference for treatment effects can suffer from severe size distortion due to sample attrition. We propose new, computationally efficient methods for randomization inference that remain valid under a range of potentially informative missingness mechanisms. We begin by constructing valid p-values for testing sharp null hypotheses, using the worst-case p-value from the Fisher randomization test over all possible imputations of missing outcomes. Leveraging distrib…

Accurate Screening of Functional Materials with Machine-Learning Potential and Transfer-Learned Regressions: Heusler Alloy Benchmark
Enda Xiao, Terumasa Tadano
https://arxiv.org/abs/2508.20556

Accurate Screening of Functional Materials with Machine-Learning Potential and Transfer-Learned Regressions: Heusler Alloy Benchmark
A machine learning-accelerated high-throughput (HTP) workflow for the discovery of magnetic materials is presented. As a test case, we screened quaternary and all-$d$ Heusler compounds for stable compounds with large magnetocrystalline anisotropy energy ($E_{\mathrm{aniso}}$). Structure optimization and evaluation of formation energy and distance to hull convex were performed using the eSEN-30M-OAM interatomic potential, while local magnetic moments, phonon stability, magnetic stability, and $E…

It's always a good day when you have "always comb foo = bar" and using foo instead of bar changes the run time of your simulation by almost 100K clock cycles.
I have to assume this is a Vivado simulator bug present in both 2024.1 and 2025.1, but don't yet have a fully reduced test case other than an always_ff block somehow having input and output changing on the same clock edge.

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
S. Panda, D. Munjal, D. P. Mohapatra
https://arxiv.org/abs/2508.19056 ht…

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
Test case prioritization focuses on finding a suitable order of execution of the test cases in a test suite to meet some performance goals like detecting faults early. It is likely that some test cases execute the program parts that are more prone to errors and will detect more errors if executed early during the testing process. Finding an optimal order of execution for the selected regression test cases saves time and cost of retesting. This paper presents a static approach to prioritizing th…

On multi-propagator angular integrals
Juliane Haug, Vladimir A. Smirnov, Fabian Wunder
https://arxiv.org/abs/2508.00693 https://arxiv.org/pdf/2508.00693

On multi-propagator angular integrals
We study multi-propagator angular integrals, a class of phase-space integrals relevant to processes with multiple observed final states and a test-bed for transferring loop-integral technology to phase space integrals without reversed unitarity. We present an Euler integral representation similar to Lee-Pomeransky representation and explicitly describe a recursive IBP reduction and dimensional shift relations for the general case of $n$ denominators. On the level of master integrals, applying a…

Stringent Upper Bounds on Atmospheric Mass Loss from Three Neptune-Sized Planets in the TOI-4010 System
Morgan Saidel, Shreyas Vissapragada, Michael Zhang, Heather A. Knutson, Matth\"aus Schulik, Jorge Fern\'andez Fern\'andez, Michelle Kunimoto, Peter J. Wheatley, Jessica Spake
https://arxiv.org/abs/2508.21166

Stringent Upper Bounds on Atmospheric Mass Loss from Three Neptune-Sized Planets in the TOI-4010 System
Photoevaporative models predict that the lower edge of the Neptune desert is sculpted by atmospheric mass loss. However, the stellar high energy fluxes that power hydrodynamic escape and set predicted mass loss rates can be uncertain by multiple orders of magnitude. These uncertainties can be bypassed by studying mass loss for planets within the same system, as they have effectively undergone scaled versions of the same irradiation history. The TOI-4010 system is an ideal test case for mass los…

Dual-polarization structure and nuclear structure effect on $\Lambda$ polarization
X. G. Deng, Y. G. Ma
https://arxiv.org/abs/2508.19105 https://arxiv.org/…

Dual-polarization structure and nuclear structure effect on $Λ$ polarization
We report a novel manifestation of spin-vorticity interplay in relativistic heavy-ion collisions. Using $^{16}$O+$^{197}$Au at $\sqrt{s_{\rm NN}}=7.7$ GeV as a test case, we show that the $Λ$ hyperon exhibits a clear dual-polarization structure, observed here in central $^{16}$O + $^{197}$Au collisions for the first time. The polarization is further highly sensitive to the intrinsic nuclear geometry: different $α$-cluster configurations of $^{16}$O, ranging from chain-like to tetrahedral, lea…

Reusable Test Suites for Reinforcement Learning
J{\o}rn Eirik Betten, Quentin Mazouni, Dennis Gross, Pedro Lind, Helge Spieker
https://arxiv.org/abs/2508.21553 https://

Reusable Test Suites for Reinforcement Learning
Reinforcement learning (RL) agents show great promise in solving sequential decision-making tasks. However, validating the reliability and performance of the agent policies' behavior for deployment remains challenging. Most reinforcement learning policy testing methods produce test suites tailored to the agent policy being tested, and their relevance to other policies is unclear. This work presents Multi-Policy Test Case Selection (MPTCS), a novel automated test suite selection method for RL en…

Methodology for Test Case Allocation based on a Formalized ODD
Martin Skoglund, Fredrik Warg, Anders Thoren, Sasikumar Punnekkat, Hans Hansson
https://arxiv.org/abs/2509.02311 h…

Methodology for Test Case Allocation based on a Formalized ODD
The emergence of Connected, Cooperative, and Automated Mobility (CCAM) systems has significantly transformed the safety assessment landscape. Because they integrate automated vehicle functions beyond those managed by a human driver, new methods are required to evaluate their safety. Approaches that compile evidence from multiple test environments have been proposed for type-approval and similar evaluations, emphasizing scenario coverage within the systems Operational Design Domain (ODD). Howeve…

Entanglement suppression and emergent symmetries in hadron scatterings
Tao-Ran Hu, Su Chen, Katsuyoshi Sone, Feng-Kun Guo, Tetsuo Hyodo, Ian Low
https://arxiv.org/abs/2507.22694

Entanglement suppression and emergent symmetries in hadron scatterings
Recently entanglement suppression was proposed to be one potential origin of emergent symmetries. In this work, we extend this theoretical framework to accommodate particles with arbitrary spins and/or arbitrary group representations. As case studies, we discuss recent efforts to test the entanglement-suppression conjecture in two hadron systems that exhibit possible emergent symmetries. The first concerns interactions involving spin-3/2 baryons, where entanglement suppression gives rise to sym…

BOOP: Write Right Code
Vaani Goenka, Aalok D. Thakkar
https://arxiv.org/abs/2507.22085 https://arxiv.org/pdf/2507.22085

BOOP: Write Right Code
Novice programmers frequently adopt a syntax-specific and test-case-driven approach, writing code first and adjusting until programs compile and test cases pass, rather than developing correct solutions through systematic reasoning. AI coding tools exacerbate this challenge by providing syntactically correct but conceptually flawed solutions. In this paper, we introduce BOOP (Blueprint, Operations, OCaml, Proof), a structured framework requiring four mandatory phases: formal specification, lang…

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
Kai Feng, Jeremy Singer, Angelos K Marnerides
https://arxiv.org/abs/2509.04967 https://arxiv.o…

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
Binary-only fuzzing often struggles with achieving thorough code coverage and uncovering hidden vulnerabilities due to limited insight into a program's internal dataflows. Traditional grey-box fuzzers guide test case generation primarily using control flow edge coverage, which can overlook bugs not easily exposed through control flow analysis alone. We argue that integrating dataflow analysis into the fuzzing process can enhance its effectiveness by revealing how data propagates through the pro…

Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
Chiara Ghinami, Jonas Winzer, Nils Bosbach, Lennart M. Reimann, Lukas J\"unger, Simon W\"orner, Rainer Leupers
https://arxiv.org/abs/2509.01318

Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
SystemC-based virtual prototypes have emerged as widely adopted tools to test software ahead of hardware availability, reducing the time-to-market and improving software reliability. Recently, fuzzing has become a popular method for automated software testing due to its ability to quickly identify corner-case errors. However, its application to embedded software is still limited. Simulator tools can help bridge this gap by providing a more powerful and controlled execution environment for testi…