TU Wien Informatics

Role

  • Mining Shape Expressions with ShapeIt / E. Bartocci, J. Deshmukh, C. Mateis, E. Nesterini, D. Nickovic, X. Qin / Talk: SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, USA, Kazakhstan, UK; 2021-12-06 - 2021-12-10; in: "Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods", 13085, (2021), 110 - 117