Gianluca Mezzetti

  1. 2017
  2. Published

    Regular and context-free nominal traces. / Mezzetti, Gianluca.

    In: Acta Informatica, 2017, p. 1.

    Publication: 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.

    Publication: 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.

    Publication: 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 (Lecture Notes in Computer Science, Vol. 9465).

    Publication: 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 .

    Publication: Research - peer-reviewArticle in proceedings