Test generation

[Google Scholar]

FUDGE: Fuzz driver generation at scale [babic:fse:2019]
SUSHI: A test generator for programs with complex structured inputs [braione:icse:2018]
Efficient sampling of SAT solutions for testing [dutra:icse:2018]
Formal specification and testing of QUIC [mcmillan:sigcomm:2019]
COASTAL: Combining concolic and fuzzing for Java (competition contribution) [visser:tacas:2020]
Relational test tables: A practical specification language for evolution and security [weigl:arxiv:2019]

Notes related to Test generation