Specification-based fuzzers are super-effective - but writing their formal specs needs lots of manual effort. Wednesday at 14:20, we show how to turn natural-language protocol specs (such as RFCs) into formal #Fandango specs automatically! Details and paper:
conf.researchr.org/details/icst...
