Gianluca Mezzetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2011–2018
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ECOOP | Type Regression Testing to Detect Breaking Changes in Node.js Libraries. | Gianluca Mezzetti, Anders Mller, Martin Toldam Torp |
| 2016 | DLS | Type unsoundness in practice: an empirical study of Dart. | Gianluca Mezzetti, Anders Mller, Fabio Strocco |
| 2016 | ISSTA | Analyzing test completeness for dynamic languages. | Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Mller |
| 2016 | QUATIC | Foreword to the Thematic Track: Quality Aspects in Verification and Validation. | Gianluca Mezzetti |
| 2015 | ISSTA | Systematic execution of Android test suites in adverse conditions. | Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Mller |
| 2012 | Coordination | Types for Coordinating Secure Behavioural Variations. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti |
| 2011 | PACT | On Quantitative Security Policies. | Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti |