Tootfinder

Extension of Wald-Wolfowitz Runs Test for Regression Validity Testing with Repeated Measures of Independent Variable
Bo-Yao Lian, Nelson G. Chen
https://arxiv.org/abs/2510.05861

Extension of Wald-Wolfowitz Runs Test for Regression Validity Testing with Repeated Measures of Independent Variable
The Wald-Wolfowitz runs test can assess the correctness of a regression curve fitted to a data set with one independent parameter. The assessment is performed through examination of the residuals, where the signs of the residuals would appear randomly if the regression curve were correct. We propose extending the test to the case where multiple data points were measured for specific independent parameter values. By randomly permutating the data points corresponding to each independent parameter…

Good Morning #Canada
As the sun comes up over the grain elevator, we discover we are in Saskatchewan for Day #9 of The Dirt on Canadian Farming. And it's flat.... like crazy flat.
Saskatchewan is commonly known as Canada’s breadbasket because of the volume and diversity of crops that they grow. The province had set a target of $20B in exports by 2030 - which was achieved in 2023 with export revenues of $20.2B, placing them at #2 in Canada. The 34K farms in Saskatchewan manage over 40% of Canada’s farmland, and they are likely the top producer of any grain, oilseed, or pulse crop you can think of. For example - Saskatchewan produced 87% of Canada's chickpeas and was responsible for 91% of chickpeas exports. Which tells me Canadians don't really like chickpeas. The province is also a leader in new technology with GPS guided machinery and numerous testing sites for robotic farming. And don't forget the pigs - they exported 2M in 2023.
#CanadaIsAwesome #Bread #Oink
https://www.canadaaction.ca/saskatchewan-farming-facts

Beyond Pass/Fail: The Story of Learning-Based Testing
Sheikh Md. Mushfiqur Rahman, Nasir Eisty
https://arxiv.org/abs/2510.00450 https://arxiv.org/pdf/2510.…

Beyond Pass/Fail: The Story of Learning-Based Testing
Learning-Based Testing (LBT) merges learning and testing processes to achieve both testing and behavioral adequacy. LBT utilizes active learning to infer the model of the System Under Test (SUT), enabling scalability for large and complex programs by requiring only a minimal set of initial test cases. The core principle of LBT is that the SUT's behavior can be thoroughly inferred by progressively generating test cases and subjecting the SUT to testing, thereby ensuring comprehensive testing. De…

Comparing Generative Models with the New Physics Learning Machine
Samuele Grossi, Marco Letizia, Riccardo Torre
https://arxiv.org/abs/2508.02275 https://ar…

Comparing Generative Models with the New Physics Learning Machine
The rise of generative models for scientific research calls for the development of new methods to evaluate their fidelity. A natural framework for addressing this problem is two-sample hypothesis testing, namely the task of determining whether two data sets are drawn from the same distribution. In large-scale and high-dimensional regimes, machine learning offers a set of tools to push beyond the limitations of standard statistical techniques. In this work, we put this claim to the test by compa…

Many optimization problems assume exact inputs and total orders.
But what if uncertainty affects f — or if it returns a tuple, or a set instead of a single value?
Our new preprint explores how to handle such cases systematically:
Optimization under uncertainty — understanding orders and testing programs with specifications
👥 Botta, Jansson & Richter
📄

Case Studies of Generative Machine Learning Models for Dynamical Systems
Nachiket U. Bapat, Randy C. Paffenroth, Raghvendra V. Cowlagi
https://arxiv.org/abs/2508.04459 https://

Case Studies of Generative Machine Learning Models for Dynamical Systems
Systems like aircraft and spacecraft are expensive to operate in the real world. The design, validation, and testing for such systems therefore relies on a combination of mathematical modeling, abundant numerical simulations, and a relatively small set of real-world experiments. Due to modeling errors, simplifications, and uncertainties, the data synthesized by simulation models often does not match data from the system's real-world operation. We consider the broad research question of whether …

Today I helped two colleagues at the #KohaILS DACH Hackfest to set up koha-testing-docker on their windows laptops via WSL and guided them through their first bug signoff (which I then QA'ed).

Time To Replace Your Filter: How Maplets Simplify System Design
Michael A. Bender, Alex Conway, Mart\'in Farach-Colton, Rob Johnson, Prashant Pandey
https://arxiv.org/abs/2510.05518

Time To Replace Your Filter: How Maplets Simplify System Design
Filters such as Bloom, quotient, and cuckoo filters are fundamental building blocks providing space-efficient approximate set membership testing. However, many applications need to associate small values with keys-functionality that filters do not provide. This mismatch forces complex workarounds that degrade performance. We argue that maplets-space-efficient data structures for approximate key-value mappings-are the right abstraction. A maplet provides the same space benefits as filters while …

I sense a depressing level of incompetence after reading this. And a near religious faith that AI will reduce burdens on us - but no understanding that if the data set is bad (cf city records) the AI becomes GU (Genuinely Useless) if not AD (Actually Damaging)
https://missionl…

San Francisco’s latest answer for RV dwellers? An AI chatbot.
The San Francisco Mayor's Office is testing a new solution for RV dwellers' pressing questions on an upcoming parking ban, sources say.

I sense a depressing level of incompetence after reading this. And a near religious faith that AI will reduce burdens on us - but no understanding that if the data set is bad (cf city records) the AI becomes GU (Genuinely Useless) if not AD (Actually Damaging)
https://missionl…

San Francisco’s latest answer for RV dwellers? An AI chatbot.
The San Francisco Mayor's Office is testing a new solution for RV dwellers' pressing questions on an upcoming parking ban, sources say.

This is terrible news for EU citizens with privacy concerns!
EU Age Verification App Sparks Ban on Non Google Licensed Android Apps
https://www.talkandroid.com/512861-eu-age-verification-app-google/

NuSeC: A Dataset for Nuclei Segmentation in Breast Cancer Histopathology Images
Refik Samet, Nooshin Nemati, Emrah Hancer, Serpil Sak, Bilge Ayca Kirmizi
https://arxiv.org/abs/2507.14272

NuSeC: A Dataset for Nuclei Segmentation in Breast Cancer Histopathology Images
The NuSeC dataset is created by selecting 4 images with the size of 1024*1024 pixels from the slides of each patient among 25 patients. Therefore, there are a total of 100 images in the NuSeC dataset. To carry out a consistent comparative analysis between the methods that will be developed using the NuSeC dataset by the researchers in the future, we divide the NuSeC dataset 75% as the training set and 25% as the testing set. In detail, an image is randomly selected from 4 images of each patient…

Evaluating the Ability of Large Language Models to Reason about Cardinal Directions, Revisited
Anthony G Cohn, Robert E Blackwell
https://arxiv.org/abs/2507.12059

Evaluating the Ability of Large Language Models to Reason about Cardinal Directions, Revisited
We investigate the abilities of 28 Large language Models (LLMs) to reason about cardinal directions (CDs) using a benchmark generated from a set of templates, extensively testing an LLM's ability to determine the correct CD given a particular scenario. The templates allow for a number of degrees of variation such as means of locomotion of the agent involved, and whether set in the first, second or third person. Even the newer Large Reasoning Models are unable to reliably determine the correct C…

Quantifying the Impact of 2D and 3D BAO Measurements on the Cosmic Distance Duality Relation with HII Galaxy observation
Jie Zheng (HNAS), Da-Chun Qiang (HNAS), Zhi-Qiang You (HNAS), Darshan Kumar (HNAS)
https://arxiv.org/abs/2507.17113

Quantifying the Impact of 2D and 3D BAO Measurements on the Cosmic Distance Duality Relation with HII Galaxy observation
The cosmic distance duality relation (CDDR) is a fundamental and practical condition in observational cosmology that connects the luminosity distance and angular diameter distance. Testing its validity offers a powerful tool to probe new physics beyond the standard cosmological model. In this work, for the first time, we present a novel consistency test of CDDR by combining HII galaxy data with a comprehensive set of Baryon Acoustic Oscillations (BAO) measurements. The BAO measurements include …

On the Hardness of Order Finding and Equivalence Testing for ROABPs
C. Ramya, Pratik Shastri
https://arxiv.org/abs/2509.13238 https://arxiv.org/pdf/2509.13…

On the Hardness of Order Finding and Equivalence Testing for ROABPs
The complexity of representing a polynomial by a Read-Once Oblivious Algebraic Branching Program (ROABP) is highly dependent on the chosen variable ordering. Bhargava et al. prove that finding the optimal ordering is NP-hard, and provide some evidence (based on the Small Set Expansion hypothesis) that it is also hard to approximate the optimal ROABP width. In another work, Baraskar et al. show that it is NP-hard to test whether a polynomial is in the $\mathrm{GL}_n$ orbit of a polynomial of spa…

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Laura Brand\'an Briones, Marcus Gerhold, Petra van den Bos, Mari\"elle Stoelinga
https://arxiv.org/abs/2507.18205

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Model-based testing (MBT) derives test suites from a behavioural specification of the system under test. In practice, engineers favour simple models, such as labelled transition systems (LTSs). However, to deal with quiescence - the absence of observable output - in practice, a time-out needs to be set to conclude observation of quiescence. Timed MBT exists, but it typically relies on the full arsenal of timed automata (TA). We present a lifting operator $χ^{\scriptstyle M}\!$ that adds timi…

Wo ist die Protest-Aktion?
"The European Union will ban apps not licensed by [Google's Play Integrity API] under its new age verification system"
https://www.talkandroid.com/512861-eu-age-verification-app-google/

EU Age Verification App Sparks Ban on Non Google Licensed Android Apps - Talk Android
The European Union will ban apps not licensed by Google under its new age verification system, which has been met with controversy. Set for pilot testing

Inequalities for Optimization of Classification Algorithms: A Perspective Motivated by Diagnostic Testing
Paul N. Patrone, Anthony J. Kearsley
https://arxiv.org/abs/2508.01065 h…

Inequalities for Optimization of Classification Algorithms: A Perspective Motivated by Diagnostic Testing
Motivated by canonical problems in medical diagnostics, we propose and study properties of an objective function that uniformly bounds uncertainties in quantities of interest extracted from classifiers and related data analysis tools. We begin by adopting a set-theoretic perspective to show how two main tasks in diagnostics -- classification and prevalence estimation -- can be recast in terms of a variation on the confusion (or error) matrix ${\boldsymbol {\rm P}}$ typically considered in super…

Leveraging the group structure of hypotheses for more powerful multiple testing with FDR control for the filtered rejection set
Marina Bogomolov, Shinjini Nandi
https://arxiv.org/abs/2509.15444

Leveraging the group structure of hypotheses for more powerful multiple testing with FDR control for the filtered rejection set
Modern biological studies often involve testing many hypotheses organized in a group or a hierarchical structure, such as a directed acyclic graph (DAG). In these studies, researchers often wish to control the false discovery rate (FDR) after filtering the discoveries to obtain interpretable results. For addressing this goal, Katsevich, Sabatti, and Bogomolov (2023, Journal of the American Statistical Association, 118(541), 165-176) developed a general method, Focused BH, that guarantees FDR co…

Fine-tuning ORBGRAND with Very Few Channel Soft Values
Li Wan, Huarui Yin, Wenyi Zhang
https://arxiv.org/abs/2507.08696 https://arxiv…

Fine-tuning ORBGRAND with Very Few Channel Soft Values
Guessing random additive noise decoding (GRAND) is a universal decoding paradigm that decodes by repeatedly testing error patterns until identifying a codeword, where the ordering of tests is generated by the received channel values. On one hand, while testing error patterns in a descending order of posterior probabilities leads to maximum likelihood decoding, its implementation complexity is prohibitive. On the other hand, testing error patterns with a prescribed set of error patterns permuted…

Testing health expenditure rationing under universal healthcare coverage: the case of Italy
Leonardo Becchetti, Nazaria Solferino
https://arxiv.org/abs/2508.13102 https://

Testing health expenditure rationing under universal healthcare coverage: the case of Italy
We investigate the phenomenon of (private, out-of-pocket) "health expenditure rationing", or whether out-of-pocket health expenditures are shaped by income independently of actual health needs. Using microdata from an Italian Health Interview Survey, we assess the extent to which income explains variation in private health spending, after controlling for objective health conditions, self-assessed health, and a comprehensive set of socio-demographic factors. We find that individuals in the highe…

TurboFuzz: FPGA Accelerated Hardware Fuzzing for Processor Agile Verification
Yang Zhong, Haoran Wu, Xueqi Li, Sa Wang, David Boland, Yungang Bao, Kan Shi
https://arxiv.org/abs/2509.10400

TurboFuzz: FPGA Accelerated Hardware Fuzzing for Processor Agile Verification
Verification is a critical process for ensuring the correctness of modern processors. The increasing complexity of processor designs and the emergence of new instruction set architectures (ISAs) like RISC-V have created demands for more agile and efficient verification methodologies, particularly regarding verification efficiency and faster coverage convergence. While simulation-based approaches now attempt to incorporate advanced software testing techniques such as fuzzing to improve coverage,…

Definability of some $k$-ary Relations Over Second Order kinds of Logics
Simone Costa, Marco Dalai, Stefano Della Fiore, Anita Pasotti
https://arxiv.org/abs/2509.13063 https://

Definability of some $k$-ary Relations Over Second Order kinds of Logics
We consider the exprissibility in monadic second order logic of certain relations of importance in computer science. For integers $n\geq 1$ and $k\leq b$, a $k$-tuple of sequences in $\{0,1,\ldots, b-1\}^n$ are said to be $k$-hashed if there is a coordinate where they all differ. A set $\mathcal{C}$ of sequences is said to be a $k$-hash code if any $k$ distinct elements are $k$-hashed. Testing whether a code is $k$-hashing and determining the largest size of $k$-hash codes is an important probl…

Significant inference and confidence sets for graphical models
P. A. Koldanov, A. P. Koldanov
https://arxiv.org/abs/2509.12292 https://arxiv.org/pdf/2509.1…

Significant inference and confidence sets for graphical models
The problem of identifying statistically significant inferences about the structure of the graphical model is considered, along with the related task of constructing a confidence set for a graphical model. It has been proven that the procedure for constructing such set is equivalent to the procedure for simultaneous testing of hypotheses and alternatives regarding the composition of the graphical model. Some variants of the simultaneous testing of hypotheses and alternatives are discussed. It i…

New Formulation of DNN Statistical Mutation Killing for Ensuring Monotonicity: A Technical Report
Jinhan Kim, Nargiz Humbatova, Gunel Jahangirova, Shin Yoo, Paolo Tonella
https://arxiv.org/abs/2507.11199

New Formulation of DNN Statistical Mutation Killing for Ensuring Monotonicity: A Technical Report
Mutation testing has emerged as a powerful technique for evaluating the effectiveness of test suites for Deep Neural Networks. Among existing approaches, the statistical mutant killing criterion of DeepCrime has leveraged statistical testing to determine whether a mutant significantly differs from the original model. However, it suffers from a critical limitation: it violates the monotonicity property, meaning that expanding a test set may result in previously killed mutants no longer being cla…

Large Language Models as Visualization Agents for Immersive Binary Reverse Engineering
Dennis Brown, Samuel Mulder
https://arxiv.org/abs/2508.13413 https://

Large Language Models as Visualization Agents for Immersive Binary Reverse Engineering
Immersive virtual reality (VR) offers affordances that may reduce cognitive complexity in binary reverse engineering (RE), enabling embodied and external cognition to augment the RE process through enhancing memory, hypothesis testing, and visual organization. In prior work, we applied a cognitive systems engineering approach to identify an initial set of affordances and implemented a VR environment to support RE through spatial persistence and interactivity. In this work, we extend that platfo…

Computation of Optimal Type-II Progressing Censoring Scheme Using Genetic Algorithm Approach
Ujjwal Roy, Ritwik Bhattacharya
https://arxiv.org/abs/2507.20001 https://

Computation of Optimal Type-II Progressing Censoring Scheme Using Genetic Algorithm Approach
The experimenter must perform a legitimate search in the entire set of feasible censoring schemes to identify the optimal type II progressive censoring scheme, when applied to a life-testing experiment. Current recommendations are limited to small sample sizes. Exhaustive search strategies are not practically feasible for large sample sizes. This paper proposes a meta-heuristic algorithm based on the genetic algorithm for large sample sizes. The algorithm is found to provide optimal or near-opt…

Fast Approximate Rank Determination and Selection with Group Testing
Adiesha Liyanage, Braeden Sopp, Brendan Mumey
https://arxiv.org/abs/2507.12634 https:/…

Fast Approximate Rank Determination and Selection with Group Testing
Suppose that a group test operation is available for checking order relations in a set, can this speed up problems like finding the minimum/maximum element, rank determination and selection? We consider a one-sided group test to be available, where queries are of the form $u \le_Q V$ or $V \le_Q u$, and the answer is `yes' if and only if there is some $v \in V$ such that $u \le v$ or $v \le u$, respectively. We restrict attention to total orders and focus on query-complexity; for min or max fin…