Volgen
Marie-Claude Gaudel
Marie-Claude Gaudel
Honorary Professor of Computer Science, Université de Paris-Sud, Orsay
Geverifieerd e-mailadres voor lri.fr
Titel
Geciteerd door
Geciteerd door
Jaar
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
5071991
Testing can be formal, too
MC Gaudel
TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995
4181995
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
1441986
Types de données et algorithmes
C Froidevaux, MC Gaudel, M Soria
McGraw-Hill, 1990
1021990
A generic method for statistical testing
A Denise, MC Gaudel, SD Gouraud
15th International Symposium on Software Reliability Engineering, 25-34, 2004
832004
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
781993
Testing algebraic data types and processes: a unifying theory
MC Gaudel, PR James
Formal Aspects of Computing 10, 436-451, 1998
741998
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
612001
Algebraic specifications with implicit state
P Dauchy, MC Gaudel
Université de Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en …, 1994
611994
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
58*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
542008
A first introduction to PLUSS
MC Gaudel
Alvey Workshop on Formal Specifications. Swindon (GB), October, 1984
521984
Précis de génie logiciel
MC Gaudel, B Marre, F Schlienger, G Bernot
Masson, 1996
501996
Testing for Refinement in CSP
A Cavalcanti, MC Gaudel
Formal Methods and Software Engineering: 9th International Conference on …, 2007
472007
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
422012
Structuring and Modularizing Algebraic Specifications: the PLUSS specification language, evolutions and perspectives
MC Gaudel
STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science …, 2005
412005
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
391985
Testing processes from formal specifications with inputs, outputs and data types
G Lestiennes, MC Gaudel
13th International Symposium on Software Reliability Engineering, 2002 …, 2002
382002
A theory of software reusability
MC Gaudel, T Moineau
ESOP'88: 2nd European Symposium on Programming Nancy, France, March 21–24 …, 1988
381988
Isabelle/Circus: A Process Specification and Verification Environment
A Feliachi, MC Gaudel, B Wolff
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
372012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20