| Object-oriented software construction B Meyer Prentice Hall -- available for free use at https://bertrandmeyer.com/OOSC2, 1997 | 11687 | 1997 |
| Applying "Design by Contract" B Meyer Computer 25 (10), 40-51, 1992 | 3597 | 1992 |
| Eiffel: the language B Meyer Prentice-Hall, 1992 | 2634* | 1992 |
| Reusability: The case for object-oriented design B Meyer IEEE software 4 (2), 50, 1987 | 588 | 1987 |
| On formalism in specifications B Meyer IEEE Software 2 (1), 6-26, 1985 | 560* | 1985 |
| Design by Contract: The lessons of Ariane JM Jézéquel, B Meyer Computer 30 (1), 129-130, 1997 | 420 | 1997 |
| Agile! The Good, the Hype and the Ugly B Meyer The good, the Hype and the Ugly. Kappaleet, 275+xviii, 2014 | 390* | 2014 |
| 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 | 328 | 2010 |
| Reusable software: the Base object-oriented component libraries B Meyer Prentice-Hall, Inc., 1994 | 307 | 1994 |
| Introduction to the Theory of Programming Languages B Meyer Available for free use at https://bertrandmeyer.com/ITPL, 1990 | 307 | 1990 |
| Specification Language. JR Abrial, SA Schuman, B Meyer On the Construction of Programs, 343-410, 1980 | 291 | 1980 |
| ARTOO: adaptive random testing for object-oriented software I Ciupa, A Leitner, M Oriol, B Meyer Proceedings of the 30th international conference on Software engineering, 71-80, 2008 | 277 | 2008 |
| Systematic concurrent object-oriented programming B Meyer Communications of the ACM 36 (9), 56-80, 1993 | 275 | 1993 |
| The grand challenge of trusted components B Meyer 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 274 | 2003 |
| Genericity versus inheritance B Meyer ACM Sigplan Notices 21 (11), 391-405, 1986 | 252 | 1986 |
| Objektorientierte Softwareentwicklung B Meyer, W Simonsmeier Hanser, 1990 | 250 | 1990 |
| Lessons from the design of the Eiffel libraries B Meyer Communications of the ACM 33 (9), 68-88, 1990 | 208 | 1990 |
| Eiffel: A language and environment for software engineering B Meyer Journal of Systems and Software 8 (3), 199-246, 1988 | 206 | 1988 |
| Generating fixes from object behavior anomalies V Dallmeier, A Zeller, B Meyer 2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009 | 185 | 2009 |
| Construcción de software orientado a objetos B Meyer Prentice-Hall, 2000 | 181 | 2000 |
| 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 | 168 | 2014 |
| Touch of class B Meyer Learning to program well with Object Technology and Design by Contract, AN …, 2009 | 166 | 2009 |
| 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 | 157 | 2014 |
| Software engineering in the academy B Meyer Computer 34 (5), 28-35, 2001 | 155 | 2001 |
| Efficient unit test case minimization A Leitner, M Oriol, A Zeller, I Ciupa, B Meyer Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 150 | 2007 |
| Объектно-ориентированное конструирование программных систем Б Мейер Рус. ред., 2005 | 150 | 2005 |
| An empirical study of API usability M Piccioni, CA Furia, B Meyer 2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013 | 148 | 2013 |
| Compiler error messages: What can help novices? MH Nienaltowski, M Pedroni, B Meyer Proceedings of the 39th SIGCSE technical symposium on Computer science …, 2008 | 140 | 2008 |
| The unspoken revolution in software engineering B Meyer IEEE Computer, 124, 122-123., 2005 | 138 | 2005 |
| Research evaluation for computer science B Meyer, C Choppy, J Staunstrup, J van Leeuwen Communications of the ACM 52 (4), 31-34, 2009 | 127 | 2009 |
| Experimental assessment of random testing for object-oriented software I Ciupa, A Leitner, M Oriol, B Meyer Proceedings of the 2007 international symposium on Software testing and …, 2007 | 123 | 2007 |
| A comparative study of programmer-written and automatically inferred contracts N Polikarpova, I Ciupa, B Meyer ISSTA 2009: Proceedings of 18th International Symposium on Software Testing …, 2009 | 122 | 2009 |
| Eiffel: programming for reusability and extendibility B Meyer ACM Sigplan Notices 22 (2), 85-94, 1987 | 122 | 1987 |
| 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 |
| Programs that test themselves B Meyer, A Fiva, I Ciupa, A Leitner, Y Wei, E Stapf Computer 42 (9), 46-55, 2009 | 114 | 2009 |
| Reconciling manual and automated testing: The AutoTest experience A Leitner, I Ciupa, B Meyer, M Howard System Sciences, 2007. HICSS 2007. 40th Annual Hawaii International …, 2007 | 113 | 2007 |
| Automatic testing of object-oriented software B Meyer, I Ciupa, A Leitner, LL Liu SOFSEM 2007: Theory and Practice of Computer Science: 33rd Conference on …, 2007 | 110 | 2007 |
| Seven principles of software testing B Meyer Computer 41 (8), 99-101, 2008 | 109 | 2008 |
| On To Components I Computer | 104* | 1999 |
Carlo A. FuriaSoftware Institute - USI Università della Svizzera italianaVerified email at usi.ch
