@inproceedings{c2e4c8939d774c01a87cce184994564f,
title = "Sampling of Shape Expressions with ShapEx",
author = "Nicolas Basset and Thao Dang and Felix Gigler and Cristinel Mateis and Dejan Nickovic",
year = "2021",
doi = "10.1145/3487212.3487350",
language = "English",
pages = "118--125",
editor = "S. Arun-Kumar and Dominique Mery and Indranil Saha and Lijun Zhang",
booktitle = "Proceedings of 19th ACM-IEEE International Conference on Formal Methods and Models for System Design",
note = "MEMOCODE 2021 ; Conference date: 20-11-2021 Through 22-11-2022",
}