| Automated Fixing of Programs with Contracts Y Pei, CA Furia, M Nordio, Y Wei, B Meyer, A Zeller IEEE Transactions on Software Engineering 40 (5), 427-449, 2014 | 459* | 2014 |
| A comparative study of programming languages in rosetta code S Nanz, CA Furia 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 195 | 2015 |
| Contract-based program repair without the contracts L Chen, Y Pei, CA Furia 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 174 | 2017 |
| Empirical standards for software engineering research P Ralph, N Ali, S Baltes, D Bianculli, J Diaz, Y Dittrich, N Ernst, M Felderer, ... arXiv preprint arXiv:2010.03525, 2020 | 172* | 2020 |
| Agile vs. structured distributed software development: A case study HC Estler, M Nordio, CA Furia, B Meyer, J Schneider Empirical Software Engineering 19, 1197-1224, 2014 | 166 | 2014 |
| An empirical study of API usability M Piccioni, CA Furia, B Meyer 2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013 | 154 | 2013 |
| AutoProof: Auto-active functional verification of object-oriented programs J Tschannen, CA Furia, M Nordio, N Polikarpova International Conference on Tools and Algorithms for the Construction and …, 2014 | 121 | 2014 |
| Inferring better contracts Y Wei, CA Furia, N Kazmin, B Meyer Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 119 | 2011 |
| Inferring loop invariants using postconditions CA Furia, B Meyer Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the …, 2010 | 114 | 2010 |
| Loop invariants: Analysis, classification, and examples CA Furia, B Meyer, S Velder ACM Computing Surveys (CSUR) 46 (3), 1-51, 2014 | 98 | 2014 |
| Modeling time in computing CA Furia, D Mandrioli, A Morzenti, M Rossi Springer Science & Business Media, 2012 | 88 | 2012 |
| Modeling time in computing: a taxonomy and a comparative survey CA Furia, D Mandrioli, A Morzenti, M Rossi ACM Computing Surveys (CSUR) 42 (2), 1-59, 2010 | 82 | 2010 |
| Bayesian data analysis in empirical software engineering research CA Furia, R Feldt, R Torkar IEEE Transactions on Software Engineering 47 (9), 1786-1810, 2019 | 79 | 2019 |
| Code-based automated program fixing Y Pei, Y Wei, CA Furia, M Nordio, B Meyer 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 79 | 2011 |
| Unifying configuration management with merge conflict detection and awareness systems HC Estler, M Nordio, CA Furia, B Meyer 2013 22nd Australian Software Engineering Conference, 201-210, 2013 | 68* | 2013 |
| Evolution of statistical analysis in empirical software engineering research: Current state and steps forward FG de Oliveira Neto, R Torkar, R Feldt, L Gren, CA Furia, Z Huang Journal of Systems and Software 156, 246-267, 2019 | 64 | 2019 |
| Usable verification of object-oriented programs by combining static and dynamic techniques J Tschannen, CA Furia, M Nordio, B Meyer Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 59 | 2011 |
| What good are strong specifications? N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer 2013 35th international conference on software engineering (icse), 262-271, 2013 | 58 | 2013 |
| SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings D Marcilio, CA Furia, R Bonifácio, G Pinto Journal of Systems and Software 168, 110671, 2020 | 57 | 2020 |
| Automatic verification of advanced object-oriented features: The AutoProof approach J Tschannen, CA Furia, M Nordio, B Meyer LASER Summer School on Software Engineering, 133-155, 2011 | 53* | 2011 |
Bertrand MeyerProfessor of Software Engineering, Constructor Universityinf.ethz.ch의 이메일 확인됨