Travelled to:1 × Canada
1 × Portugal
1 × USA
Collaborated with:A.Møller P.Degano G.L.Ferrari C.Q.Adamsen M.T.Torp
Talks about:nomin (2) test (2) systemat (1) automata (1) resourc (1) regress (1) librari (1) control (1) context (1) android (1)
Person: Gianluca Mezzetti
DBLP: Mezzetti:Gianluca
Contributed to:
2015
20132012
2018Wrote 4 papers:
- ISSTA-2015-AdamsenMM #android #execution #testing
- Systematic execution of Android test suites in adverse conditions (CQA, GM, AM), pp. 83–93.
- CIAA-2013-DeganoFM #model checking #towards
- Towards Nominal Context-Free Model-Checking (PD, GLF, GM), pp. 109–121.
- CIAA-2012-DeganoFM #automaton #resource management
- Nominal Automata for Resource Usage Control (PD, GLF, GM), pp. 125–137.
- ECOOP-2018-MezzettiMT #detection #library #testing
- Type Regression Testing to Detect Breaking Changes in Node.js Libraries (GM, AM, MTT), p. 24.