News for hackers. Stuff that matters.
Re:MS TextWorld: open-source engine that both generates and ... by chongli on Tuesday March 19, 2019 @11:22PM (#19438627)
I just took a look at the curiosity video. It's funny, I think with enough refinement something like this could beat Zelda. Except it wouldn't actually know it beat the game! I feel like that is cheating, somehow.

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/

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...