William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide. Generating Conforming Programs with Xsmith. In Coen De Roover, Bernhard Rumpe, Amir Shaikhha, editors, Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2023, Cascais, Portugal, October 22-23, 2023. pages 86-99, ACM, 2023. [doi]
Abstract is missing.