Gianluca Mezzetti

According to our database, Gianluca Mezzetti authored at least 15 papers between 2011 and 2018.

Collaborative distances :

• Dijkstra number of five.
• Erdős number of four.

2018

Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact).

Gianluca Mezzetti, Anders Møller, Martin Toldam Torp

DARTS, 2018

Type Regression Testing to Detect Breaking Changes in Node.js Libraries.

Gianluca Mezzetti, Anders Møller, Martin Toldam Torp

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Regular and context-free nominal traces.

Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti

Acta Inf., 2017

2016

Foreword to the Thematic Track: Quality Aspects in Verification and Validation.

Gianluca Mezzetti

Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Analyzing test completeness for dynamic languages.

Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Type unsoundness in practice: an empirical study of Dart.

Gianluca Mezzetti, Anders Møller, Fabio Strocco

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

Systematic execution of Android test suites in adverse conditions.

Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Safe Adaptation Through Implicit Effect Coercion.

Davide Basile, Letterio Galletta, Gianluca Mezzetti

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2013

Security in Pervasive Applications: A Survey.

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, GianLuigi Ferrari

European Journal of Law and Technology, 2013

Towards Nominal Context-Free Model-Checking.

Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti

Proceedings of the Implementation and Application of Automata, 2013

2012

Typing Context-Dependent Behavioural Variation

Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Nominal Automata for Resource Usage Control.

Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti

Proceedings of the Implementation and Application of Automata, 2012

Types for Coordinating Secure Behavioural Variations.

Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Formalising Security in Ubiquitous and Cloud Scenarios.

Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti

Proceedings of the Computer Information Systems and Industrial Management, 2012

2011

On Quantitative Security Policies.

Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti

Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011