Gianluca Mezzetti

  1. 2017
  2. Published

    Regular and context-free nominal traces. / Degano, Pierpaolo ; Ferrari, Gian-Luigi ; Mezzetti, Gianluca.

    In: Acta Informatica, Vol. 54, No. 4, 2017, p. 399-433.

    Research output: Research - peer-reviewJournal article

  3. 2016
  4. Published

    Type unsoundness in practice: An empirical study of dart. / Mezzetti, Gianluca; Møller, Anders; Strocco, Fabio.

    DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages. ed. / Roberto Ierusalimschy. Association for Computing Machinery, 2016. p. 13-24.

    Research output: Research - peer-reviewArticle in proceedings

  5. Published

    Analyzing Test Completeness for Dynamic Languages. / Adamsen, Christoffer Quist; Mezzetti, Gianluca; Møller, Anders.

    Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016. New York, NY, USA : Association for Computing Machinery, 2016. p. 142-153.

    Research output: Research - peer-reviewArticle in proceedings

  6. 2015
  7. Published

    Safe Adaptation Through Implicit Effect Coercion. / Basile, Davide; Galletta, Letterio; Mezzetti, Gianluca.

    Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. ed. / Chiara Bodei; Gian-Luigi Ferrari; Corrado Priami. Vol. 9465 Springer Publishing Company, 2015. p. 122-141.

    Research output: Research - peer-reviewArticle in proceedings

  8. Published

    Systematic Execution of Android Test Suites in Adverse Conditions. / Adamsen, Christoffer Quist; Møller, Anders; Mezzetti, Gianluca.

    Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA '15. Association for Computing Machinery, 2015. p. 83-93 .

    Research output: Research - peer-reviewArticle in proceedings