| emsoft | participants

Xin Qin

EMSOFT 2020: 20th International Conference on Embedded Software

Mining Shape Expressions From Positive Examples

Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Ničković, and Xin Qin