Tootfinder

Google veröffentlicht App zum Testen lokaler KI-Modelle
Google hat ohne große Ankündigung eine App veröffentlicht, mit der Nutzer lokale KI-Modelle auf ihren Smartphones ausprobieren können.
https://ww…

Testimony from an Ogyen Kunzang Choling (OKC) Survivor https://buddhism-controversy-blog.com/2017/10/29/testimony-from-an-ogyen-kunsang-choling-okc-survivor/

"The immigration detention system has become a testing ground for authoritarianism." - @silkys13.bsky.social
https://bsky.app/profile/democracynow.org/post/3lqpltpcg522i

Temac: Multi-Agent Collaboration for Automated Web GUI Testing
Chenxu Liu, Zhiyu Gu, Guoquan Wu, Ying Zhang, Jun Wei, Tao Xie
https://arxiv.org/abs/2506.00520

Temac: Multi-Agent Collaboration for Automated Web GUI Testing
Quality assurance of web applications is critical, as web applications play an essential role in people's daily lives. To reduce labor costs, automated web GUI testing (AWGT) is widely adopted, exploring web applications via GUI actions such as clicks and text inputs. However, these approaches face limitations in generating continuous and meaningful action sequences capable of covering complex functionalities. Recent work incorporates large language models (LLMs) for GUI testing. However, these…

This https://arxiv.org/abs/2501.09015 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

Family-wise Error Rate Control with E-values
The closure principle is a standard tool for achieving strong family-wise error rate (FWER) control in multiple testing problems. We develop an e-value-based closed testing framework that inherits nice properties of e-values, which are common in settings of sequential hypothesis testing or universal inference for irregular parametric models. We prove that e-value-based closed testing strongly controls the post-hoc FWER in the static setting, and has stronger anytime-valid and always-valid FWER-…

"The most effective countermeasure is simple: tariffs for oligarchs. Countries should tie market access for foreign multinationals and billionaires to fair taxation. As soon as Trump follows through with tariffs on Canada and Mexico, those countries should retaliate by taxing US oligarchs."
https://

Practical Short-Length Coding Schemes for Binary Distributed Hypothesis Testing
Ismaila Salihou Adamou, Elsa Dupraz, Reza Asvadi, Tad Matsumoto
https://arxiv.org/abs/2506.01747

Practical Short-Length Coding Schemes for Binary Distributed Hypothesis Testing
This paper addresses the design of practical shortlength coding schemes for Distributed Hypothesis Testing (DHT). While most prior work on DHT has focused on informationtheoretic analyses, deriving bounds on Type-II error exponents via achievability schemes based on quantization and quantizebinning, the practical implementation of DHT coding schemes has remained largely unexplored. Moreover, existing practical coding solutions for quantization and quantize-binning approaches were developed for …

Safety, Relative Tightness and the Probabilistic Frane Rule
Janez Ignacij Jereb, Alex Simpson
https://arxiv.org/abs/2506.01626 https://

Safety, Relative Tightness and the Probabilistic Frane Rule
Probabilistic separation logic offers an approach to reasoning about imperative probabilistic programs in which a separating conjunction is used as a mechanism for expressing independence properties. Crucial to the effectiveness of the formalism is the frame rule, which enables modular reasoning about independent probabilistic state. We explore a semantic formulation of probabilistic separation logic, in which the frame rule has the same simple formulation as in separation logic, without furthe…

The Impact of Software Testing with Quantum Optimization Meets Machine Learning
Gopichand Bandarupalli
https://arxiv.org/abs/2506.02090 https://

The Impact of Software Testing with Quantum Optimization Meets Machine Learning
Modern software systems complexity challenges efficient testing, as traditional machine learning (ML) struggles with large test suites. This research presents a hybrid framework integrating Quantum Annealing with ML to optimize test case prioritization in CI/CD pipelines. Leveraging quantum optimization, it achieves a 25 percent increase in defect detection efficiency and a 30 percent reduction in test execution time versus classical ML, validated on the Defects4J dataset. A simulated CI/CD env…

Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs
Nguyen-Khang Le, Quan Minh Bui, Minh Ngoc Nguyen, Hiep Nguyen, Trung Vo, Son T. Luu, Shoshin Nomura, Minh Le Nguyen
https://arxiv.org/abs/2506.02529

Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs
Web applications are critical to modern software ecosystems, yet ensuring their reliability remains challenging due to the complexity and dynamic nature of web interfaces. Recent advances in large language models (LLMs) have shown promise in automating complex tasks, but limitations persist in handling dynamic navigation flows and complex form interactions. This paper presents an automated system for generating test cases for two key aspects of web application testing: site navigation and form …