@inproceedings{
Hatch23Generating,
Author = {William Gallard Hatch and Pierce Darragh and Sorawee Porncharoenwase and Guy Watson and Eric Eide},
Title = {Generating Conforming Programs with Xsmith},
Booktitle = {GPCE},
DOI = {10.1145/3624007.3624056},
Year = {2023}
}