John Scebold, Eric Bond, Emily Gray, Jared Ziegler. Automated Theory Substitution Toward Proof-Driven Software Development. In Teruhisa Hochin, Jixin Ma 0001, Osamu Mizuno, editors, 22nd IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2024, Honolulu, HI, USA, May 30 - June 1, 2024. pages 8-16, IEEE, 2024. [doi]
Abstract is missing.