Claudio Corrodi
Claudio Corrodi
Verified email at inf.unibe.ch
Title
Cited by
Cited by
Year
Exception evolution in long-lived Java systems
H Osman, A Chis, C Corrodi, M Ghafari, O Nierstrasz
2017 IEEE/ACM 14th International Conference on Mining Software Repositories …, 2017
122017
A graph-based semantics workbench for concurrent asynchronous programs
C Corrodi, A Heußner, CM Poskitt
International Conference on Fundamental Approaches to Software Engineering …, 2016
82016
Towards practical graph-based verification for an object-oriented concurrency model
A Heußner, CM Poskitt, C Corrodi, B Morandi
arXiv preprint arXiv:1504.02611, 2015
82015
Idea: Benchmarking Android data leak detection tools
C Corrodi, T Spring, M Ghafari, O Nierstrasz
International Symposium on Engineering Secure Software and Systems, 116-123, 2018
52018
Towards Efficient Object-Centric Debugging with Declarative Breakpoints
C Corrodi
9th Seminar on Advanced Techniques & Tools for Software Evolution (SATToSE …, 2016
42016
Benchmarking Android Data Leak Detection Tools
T Spring, O Nierstrasz, C Corrodi
2018
Visualising Objects in Pharo
EM Quiros, ZH Zürich, O Nierstrasz, C Corrodi
2018
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
C Corrodi, A Heußner, CM Poskitt
Formal Aspects of Computing 30 (1), 163-192, 2018
2018
Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE
C Corrodi
ETH Zürich, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–9