2 papers
cs.SE2026
HoldSpec: A Machine-Checked Model and Conformance Suite for the Payment Authorization Hold Lifecycle
Abhishek Sharma
When a merchant authorizes a card and captures the funds later, the money sits in a state that neither party fully controls: held on the cardholder's account, not yet taken, and du…
cs.SE2025
GAPS: Targeted Execution of Android Apps via Static Path Reconstruction
Samuele Doria, Alexander Pilgun, Jordan Samhi +2
Targeted execution of Android applications (apps) remains a longstanding challenge for software testing and analysis. Although recent advances in GUI testing have substantially imp…