Mining Shape Expressions From Positive Examples

Ezio Bartocci, Jyotirmoy V. Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)3809-3820
Number of pages12
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume39
Issue number11
Publication statusPublished - 2020

Research Field

  • Dependable Systems Engineering

Cite this