Re:MS TextWorld: open-source engine that both generates and ...
by lzybkr on Wednesday March 20, 2019 @12:29AM
(#19439002)
AFL might eventually get lucky, but I'm guessing you'd want a hybrid approach that combines symbolic execution with a fuzzer like AFL, e.g. QSYM [1].
[1] https://www.usenix.org/system/files/conference/usenixsecurit...
Like maybe you could get American Fuzzy Lop [1] to beat Zelda. Isn't that the same thing, in principle?
[1] http://lcamtuf.coredump.cx/afl/