Tootfinder

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…

Spotify will begin testing a feature that lets a user write a prompt for a playlist and receive a unique set of songs based on the user's earlier behavior (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/12/10/spotify-tests-more-person…

Spotify tests more personalized, AI-powered 'Prompted Playlists' | TechCrunch
The playlists can factor in world knowledge, go back to your listening history from day one, and be refreshed daily or weekly.

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…

Spotify will begin testing a feature that lets a user write a prompt for a playlist and receive a unique set of songs based on the user's earlier behavior (Sarah Perez/TechCrunch)
https://techcrunch.com/2025/12/10/spotify-tests-more-person…

Spotify tests more personalized, AI-powered 'Prompted Playlists' | TechCrunch
The playlists can factor in world knowledge, go back to your listening history from day one, and be refreshed daily or weekly.

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.

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
📄

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).

On Korovkin-type theorems including exponential test functions on infinite intervals through power series convergence
Dilek S\"oylemez, Mehmet \"Unver
https://arxiv.org/abs/2510.12568

On Korovkin-type theorems including exponential test functions on infinite intervals through power series convergence
Approximation theory has long been concerned with the development of positive linear operators that effectively approximate classes of functions. Among the most well-known results in this area are Korovkin-type approximation theorems, which provide simple and elegant criteria for convergence by testing only on a small set of functions. Motivated by these classical results and their extensions, we focus on versions that preserve exponential functions and incorporate modern summability techniques…

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 …