Mining Shape Expressions with ShapeIt

Ezio Bartocci, Jyotirmoy V. Deshmukh, Cristinel Mateis, Eleonora Nesterini (Speaker), Dejan Nickovic, Xin Qin

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Proceedings of 19th International Conference on Software Engineering and Formal Methods
Publisher	Springer Nature
Pages	110-117
Number of pages	8
ISBN (Print)	978-3-030-92123-1
DOIs	https://doi.org/10.1007/978-3-030-92124-8_7
Publication status	Published - 2021
Event	SEFM 2021 - Duration: 6 Dec 2021 → 10 Dec 2021

Conference	SEFM 2021
Period	6/12/21 → 10/12/21

Research Field

@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",

}

TY - GEN

T1 - Mining Shape Expressions with ShapeIt

AU - Bartocci, Ezio

AU - Deshmukh, Jyotirmoy V.

AU - Mateis, Cristinel

AU - Nickovic, Dejan

AU - Qin, Xin

A2 - Nesterini, Eleonora

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-92124-8_7

DO - 10.1007/978-3-030-92124-8_7

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-92123-1

SP - 110

EP - 117

BT - Proceedings of 19th International Conference on Software Engineering and Formal Methods

PB - Springer Nature

T2 - SEFM 2021

Y2 - 6 December 2021 through 10 December 2021

ER -