Synthia: a Generic and Flexible Data Structure Generator. - Marc-Antoine Plourde; Sylvain Hallé (ICSE-Companion, 2022)