| Software testing based on formal specifications: a theory and a tool G Bernot, MC Gaudel, B Marre Software Engineering Journal 6 (6), 387-405, 1991 | 512 | 1991 |
| Testing can be formal, too MC Gaudel Colloquium on Trees in Algebra and Programming, 82-96, 1995 | 424 | 1995 |
| Test sets generation from algebraic specifications using logic programming L Bougé, N Choquet, L Fribourg, MC Gaudel Journal of Systems and Software 6 (4), 343-360, 1986 | 148 | 1986 |
| Types de données et algorithmes C Froidevaux, MC Gaudel, M Soria McGraw-Hill, 1990 | 92 | 1990 |
| A generic method for statistical testing A Denise, MC Gaudel, SD Gouraud 15th International Symposium on Software Reliability Engineering, 25-34, 2004 | 85 | 2004 |
| Using algebraic specifications in software testing: a case study on the software of an automatic subway P Dauchy, MC Gaudel, B Marre Journal of Systems and Software 21 (3), 229-244, 1993 | 79 | 1993 |
| Testing algebraic data types and processes: a unifying theory MC Gaudel, PR James Formal Aspects of Computing 10, 436-451, 1998 | 73 | 1998 |
| A new way of automating statistical testing methods SD Gouraud, A Denise, MC Gaudel, B Marre Proceedings 16th Annual International Conference on Automated Software …, 2001 | 62 | 2001 |
| Algebraic specifications with implicit state P Dauchy, MC Gaudel Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en …, 1994 | 60 | 1994 |
| How to make algebraic specifications more understandable: An experiment with the PLUSS specification language M Bidoit, MC Gaudel, A Mauboussin Science of Computer Programming 12 (1), 1-38, 1989 | 56* | 1989 |
| Testing data types implementations from algebraic specifications MC Gaudel, P Le Gall Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008 | 55 | 2008 |
| Précis de génie logiciel MC Gaudel, B Marre, F Schlienger, G Bernot Masson, 1996 | 54 | 1996 |
| A first introduction to PLUSS MC Gaudel Alvey Workshop on Formal Specifications. Swindon (GB), October, 1984 | 53 | 1984 |
| Testing for Refinement in CSP A Cavalcanti, MC Gaudel International Conference on Formal Engineering Methods, 151-170, 2007 | 51 | 2007 |
| Exception handling: formal specification and systematic program construction M Bidoit, B Biebow, MC Gaudel, C Gresse, GD Guiho IEEE Transactions on Software Engineering, 242-252, 1985 | 44 | 1985 |
| Structuring and Modularizing Algebraic Specifications: the PLUSS specification language, evolutions and perspectives MC Gaudel Annual Symposium on Theoretical Aspects of Computer Science, 1-18, 1992 | 43 | 1992 |
| Coverage-biased random exploration of large models and application to testing A Denise, MC Gaudel, SD Gouraud, R Lassaigne, J Oudinet, S Peyronnet International Journal on Software Tools for Technology Transfer 14, 73-93, 2012 | 42 | 2012 |
| Testing processes from formal specifications with inputs, outputs and data types G Lestiennes, MC Gaudel 13th International Symposium on Software Reliability Engineering, 2002 …, 2002 | 39 | 2002 |
| Application of PROLOG to test sets generation from algebraic specifications L Bougé, N Choquet, L Fribourg, MC Gaudel International Joint Conference on Theory and Practice of Software …, 1985 | 39 | 1985 |
| Isabelle/Circus: A Process Specification and Verification Environment A Feliachi, MC Gaudel, B Wolff Verified Software: Theories, Tools, Experiments: 4th International …, 2012 | 38 | 2012 |
Sylvain PeyronnetBabbar.tech (CEO), ix-labs (CEO), former Full Prof in CSAdresse e-mail validée de ix-labs.org
