Automated Theory Substitution Toward Proof-Driven Software Development. - John Scebold; Eric Bond; Emily Gray; Jared Ziegler (SERA, 2024)