| 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 | 22 | 2017 |
| Towards Efficient Object-Centric Debugging with Declarative Breakpoints C Corrodi 9th Seminar on Advanced Techniques & Tools for Software Evolution (SATToSE …, 2016 | 16 | 2016 |
| Idea: Benchmarking android data leak detection tools C Corrodi, T Spring, M Ghafari, O Nierstrasz Engineering Secure Software and Systems: 10th International Symposium, ESSoS …, 2018 | 13 | 2018 |
| 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 | 8 | 2015 |
| A graph-based semantics workbench for concurrent asynchronous programs C Corrodi, A Heußner, CM Poskitt Fundamental Approaches to Software Engineering: 19th International …, 2016 | 7 | 2016 |
| A semantics comparison workbench for a concurrent, asynchronous, distributed programming language C Corrodi, A Heußner, CM Poskitt Formal Aspects of Computing 30, 163-192, 2018 | 2 | 2018 |
| 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 |
| Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE C Corrodi ETH Zürich, 2015 | | 2015 |
