synthesis
Program synthesis is cool. Learn more about it!
Deterministic methods aren't as useful as they sound… a completespecification that can generate a program is the program, and isusually just harder than writing the program that follows thatspecification - though it does act as a second implementation that canprecisely validate the first.
If we recognize that we're okay with some undefined behavior, we candescribe and synthesize programs with a series of property tests; thiscan be useful for checking work or if we have a human in the loop tovalidate everything we're generating (but in this case, we wantnondeterminism, deep learning and these sorts of things).
Question Selection for Interactive Program Synthesis (PLDI 2020 - PLDIResear…Writing a Test Case Generator for a ProgrammingLanguage:Generating test cases (fuzzing?) for WASM.