×
2023
Generating Conforming Programs with Xsmith.
[DOI]
William Gallard Hatch
,
Pierce Darragh
,
Sorawee Porncharoenwase
,
Guy Watson
,
Eric Eide
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023