Tootfinder

Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
Fanyu Wang, Chetan Arora, Yonghui Liu, Kaicheng Huang, Chakkrit Tantithamthavorn, Aldeida Aleti, Dishan Sambathkumar, David Lo
https://arxiv.org/abs/2508.06888

Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
Acceptance criteria (ACs) play a critical role in software development by clearly defining the conditions under which a software feature satisfies stakeholder expectations. However, manually creating accurate, comprehensive, and unambiguous acceptance criteria is challenging, particularly in user interface-intensive applications, due to the reliance on domain-specific knowledge and visual context that is not always captured by textual requirements alone. To address these challenges, we propose …

Two dormant Bitcoin wallets, each holding 10,000 "Satoshi era" BTC since 2011, transferred the coins to new wallets using a modern, lower-fee address format (Shaurya Malwa/CoinDesk)
https://www.coindesk.com/markets/2025/07/0…

Eight Bitcoin Wallets Move 80,000 BTC in Largest Ever ‘Satoshi Era’ Transfers
All of these moved coins are among the rarest class of BTC: mined or transacted during the “Satoshi era,” a loosely defined period from bitcoin’s launch in 2009 through 2011, when its pseudonymous creator was still active online.

Causal Impacts of Protected Bike Lanes on Cycling Behavior with Demographic Disparities
Marcel Moran, Malik Salman, Takahiro Yabe
https://arxiv.org/abs/2507.04936

Causal Impacts of Protected Bike Lanes on Cycling Behavior with Demographic Disparities
Cities around the world face significant barriers to grow urban cycling, including competing budgetary priorities and car-centric streets. Thus, when making decisions regarding the installation of bicycle infrastructure, it is crucial to understand if and to what extent different bicycle-lane types increase bicycle ridership. However, associations between bicycle infrastructure and bicycle ridership have primarily been studied in the context of individual lanes and corridors, or when analyzed a…

Natural Language-Programming Language Software Traceability Link Recovery Needs More than Textual Similarity
Zhiyuan Zou, Bangchao Wang, Peng Liang, Tingting Bi, Huan Jin
https://arxiv.org/abs/2509.05585

Natural Language-Programming Language Software Traceability Link Recovery Needs More than Textual Similarity
In the field of software traceability link recovery (TLR), textual similarity has long been regarded as the core criterion. However, in tasks involving natural language and programming language (NL-PL) artifacts, relying solely on textual similarity is limited by their semantic gap. To this end, we conducted a large-scale empirical evaluation across various types of TLR tasks, revealing the limitations of textual similarity in NL-PL scenarios. To address these limitations, we propose an approac…

Efficient Solving of Large Single Input Superstate Decomposable Markovian Decision Process
Youssef Ait El Mahjoub, Jean-Michel Fourneau, Salma Alouah
https://arxiv.org/abs/2508.00816

Efficient Solving of Large Single Input Superstate Decomposable Markovian Decision Process
Solving Markov Decision Processes (MDPs) remains a central challenge in sequential decision-making, especially when dealing with large state spaces and long-term optimization criteria. A key step in Bellman dynamic programming algorithms is the policy evaluation, which becomes computationally demanding in infinite-horizon settings such as average-reward or discounted-reward formulations. In the context of Markov chains, aggregation and disaggregation techniques have for a long time been used to…

The Role of High-Speed Rail in Reshaping Chinese County-Level Economic Structures
Mingzhi Xiao, Yuki Takayama
https://arxiv.org/abs/2508.16079 https://arxi…

The Role of High-Speed Rail in Reshaping Chinese County-Level Economic Structures
As high-speed rail (HSR) investment accelerates across China, the question of whether such large-scale infrastructure can promote balanced regional development or exacerbate spatial inequality has become central for policymakers and scholars. This study provides systematic micro-level evidence by analyzing a balanced panel of 353 county-level divisions, including urban districts, county-level cities, and counties, along the Shanghai-Kunming and Xuzhou-Lanzhou HSR corridors from 2008 to 2019. Us…

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot
https://arxiv.org/abs/2508.20744

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
Context: Laws and regulations increasingly affect software design and quality assurance, but legal texts are written in technology-neutral language. This creates challenges for engineers who must develop compliance artifacts such as requirements and acceptance criteria. Manual creation is labor-intensive, error-prone, and requires domain expertise. Advances in Generative AI (GenAI), especially Large Language Models (LLMs), offer a way to automate deriving such artifacts. Objective: We present…