@inproceedings{702faadf65b744c481684c35e27c8ccc,
title = "Mining Shape Expressions with ShapeIt",
author = "Ezio Bartocci and Deshmukh, {Jyotirmoy V.} and Cristinel Mateis and Eleonora Nesterini and Dejan Nickovic and Xin Qin",
year = "2021",
doi = "10.1007/978-3-030-92124-8_7",
language = "English",
isbn = "978-3-030-92123-1",
pages = "110--117",
booktitle = "Proceedings of 19th International Conference on Software Engineering and Formal Methods",
publisher = "Springer Nature",
address = "United States",
note = "SEFM 2021 ; Conference date: 06-12-2021 Through 10-12-2021",
}