Gianluca Mezzetti

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 6

Top Topics

Regression Testing

Grammatical Inference

Top Venues

Dagstuhl Artifacts Ser.

Publications

Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Type Regression Testing to Detect Breaking Changes in Node.js Libraries. ECOOP (2018)
Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
Regular and context-free nominal traces. Acta Informatica 54 (4) (2017)
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Analyzing test completeness for dynamic languages. ISSTA (2016)
Gianluca Mezzetti
Foreword to the Thematic Track: Quality Aspects in Verification and Validation. QUATIC (2016)
Gianluca Mezzetti, Anders Møller, Fabio Strocco
Type unsoundness in practice: an empirical study of Dart. DLS (2016)
Davide Basile, Letterio Galletta, Gianluca Mezzetti
Safe Adaptation Through Implicit Effect Coercion. Programming Languages with Applications to Biology and Security (2015)
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
Systematic execution of Android test suites in adverse conditions. ISSTA (2015)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari
Security in Pervasive Applications: A Survey. Eur. J. Law Technol. 4 (2) (2013)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
Towards Nominal Context-Free Model-Checking. CIAA (2013)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
Nominal Automata for Resource Usage Control. CIAA (2012)
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Formalising Security in Ubiquitous and Cloud Scenarios. CISIM (2012)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Types for Coordinating Secure Behavioural Variations. COORDINATION (2012)
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
Typing Context-Dependent Behavioural Variation PLACES (2012)
Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti
On Quantitative Security Policies. PaCT (2011)