Automated fixing of programs with contracts Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller Proceedings of the 19th international symposium on Software testing and …, 2010 | 459 | 2010 |
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 |
Autoproof: Auto-active functional verification of object-oriented programs J Tschannen, CA Furia, M Nordio, N Polikarpova Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 121 | 2015 |
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 Software Engineering Conference (ASWEC), 2013 22nd Australian, 201-210, 2013 | 69* | 2013 |
How do distribution and time zones affect software development? a case study on communication M Nordio, HC Estler, B Meyer, J Tschannen, C Ghezzi, E Di Nitto 2011 IEEE Sixth International Conference on Global Software Engineering, 176-184, 2011 | 65 | 2011 |
Teaching software engineering using globally distributed projects: the DOSE course M Nordio, C Ghezzi, B Meyer, E Di Nitto, G Tamburrelli, J Tschannen, ... Proceedings of the 2011 Community Building Workshop on Collaborative …, 2011 | 61 | 2011 |
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 |
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 |
Awareness and merge conflicts in distributed software development HC Estler, M Nordio, CA Furia, B Meyer 2014 IEEE 9th International Conference on Global Software Engineering, 26-35, 2014 | 47 | 2014 |
Contracts in practice HC Estler, CA Furia, M Nordio, M Piccioni, B Meyer FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 45 | 2014 |
C to OO translation: Beyond the easy stuff M Trudel, CA Furia, M Nordio, B Meyer, M Oriol 2012 19th Working Conference on Reverse Engineering, 19-28, 2012 | 39* | 2012 |
Proof-transforming compilation of programs with abrupt termination P Müller, M Nordio Proceedings of the 2007 conference on Specification and verification of …, 2007 | 36 | 2007 |
Advanced hands-on training for distributed and outsourced software engineering M Nordio, R Mitin, B Meyer Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 33 | 2010 |
Reasoning about function objects M Nordio, C Calcagno, B Meyer, P Müller, J Tschannen Objects, Models, Components, Patterns: 48th International Conference, TOOLS …, 2010 | 33 | 2010 |
The role of contracts in distributed development M Nordio, R Mitin, B Meyer, C Ghezzi, E Di Nitto, G Tamburrelli Software Engineering Approaches for Offshore and Outsourced Development …, 2009 | 30 | 2009 |
Stateful testing: Finding more errors in code and contracts Y Wei, H Roth, CA Furia, Y Pei, A Horton, M Steindorfer, M Nordio, ... 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 27 | 2011 |
Proof-transforming compilation of eiffel programs M Nordio, P Müller, B Meyer Objects, Components, Models and Patterns: 46th International Conference …, 2008 | 27* | 2008 |
A sound and complete program logic for Eiffel M Nordio, C Calcagno, P Müller, B Meyer Objects, Components, Models and Patterns: 47th International Conference …, 2009 | 24* | 2009 |
Automated program repair in an integrated development environment Y Pei, CA Furia, M Nordio, B Meyer 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 23 | 2015 |