2023
Generating Conforming Programs with Xsmith.
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023