You might find the paper Verification for legacy programs by Michael Ernst useful - https://homes.cs.washington.edu/~mernst/pubs/legacy-verification-vstte2005-a

You might find the paper Verification for legacy programs by Michael Ernst useful - https://homes.cs.washington.edu/~mernst/pubs/legacy-verification-vstte2005-abstract.html https://homes.cs.washington.edu/~mernst/pubs/legacy-verifica... Also see Round-Trip Correctness: A New Metric for Generative AI-Based Process Modeling - https://news.ycombinator.com/item?id=49033317 https://news.ycombinator.com/item?id=49033317