2012
2012.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2012.bib -c 'year = 2012' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{feliachigw12,
author = {Abderrahmane Feliachi and Marie-Claude Gaudel and Burkhart Wolff},
title = {{Isabelle/Circus}: A Process Specification and Verification Environment},
booktitle = {VSTTE proceedings},
year = 2012,
pages = {243-260},
pdf = {http://www.lri.fr/~mcg/PDF/VSSTE2012.pdf},
series = {Lecture Notes in Computer Science},
volume = {7152},
x-equipes = {fortesse},
x-type = {article},
x-support = {actes}
}
@article{RASTA:STTT:2011,
author = {Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet },
title = {Coverage-Biased Random Exploration of Large Models and Application to Testing},
journal = {STTT, International Journal on Software Tools for Technology Transfer},
year = {2012},
volume = {14},
number = {1},
pages = {73-93},
publisher = {Springer},
pdf = {http://www.lri.fr/~mcg/PDF/STTTfinal.pdf}
}
2011
2011.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2011.bib -c 'year = 2011' /users/asspro/mcg/WWW/mcg.bib}}
@techreport{fgw11rapport-lri,
author = {Abderrahmane Feliachi and Marie-Claude Gaudel and Burkhart Wolff},
title = {Isabelle/Circus : a Process Specification and Verification Environment},
institution = {LRI, http://www.lri.fr/Rapports-internes},
year = 2011,
number = 1547,
address = {Universit{\'e} Paris-Sud XI},
month = {November},
pdf = {http://www.lri.fr/~bibli/Rapports-internes/2011/RR1547.pdf},
x-equipes = {fortesse},
x-type = {article},
x-support = {rapport}
}
@inproceedings{springerlink:10.1007/978-3-642-24580-0_1,
author = {Gaudel, Marie-Claude},
affiliation = {Université Paris-Sud 11, LRI, Orsay, F-91405},
title = {Counting for Random Testing},
booktitle = {Testing Software and Systems, ICTSS 2011 proceedings},
series = {Lecture Notes in Computer Science},
editor = {Wolff, Burkhart and Zaidi, Fatiha},
publisher = {Springer Berlin / Heidelberg},
isbn = {978-3-642-24579-4},
pages = {1-8},
volume = {7019},
year = {2011},
pdf = {http://www.lri.fr/~mcg/PDF/ICTSS2011gaudel.pdf}
}
@inproceedings{ICTSS:CavGHN2011,
author = {Ana Cavalcanti and Marie-Claude Gaudel and Robert Hierons and Manuel Nunez},
title = {Conformance Relations for Distributed Testing based on {CSP}},
booktitle = {Testing Software and Systems, ICTSS 2011 proceedings},
volume = { 7019},
series = { Lecture Notes in Computer Science},
editor = {Fatiha Zaidi and Burkhart Wolff },
pages = {48-63},
publisher = {Springer},
year = {2011}
}
@inproceedings{TAP:Gau2011,
author = {Marie-Claude Gaudel},
title = {Checking Models, Proving Programs, and Testing Systems},
booktitle = {TAP 2011 proceedings},
volume = { 6706},
series = { Lecture Notes in Computer Science},
editor = {Martin Gogolla and Burkhart Wolff },
pages = {1-13},
publisher = {Springer},
year = {2011},
pdf = {http://www.lri.fr/~mcg/PDF/TAP2011gaudel.pdf}
}
@article{CavalGau:Acta:2011,
author = {Ana Cavalcanti and
Marie-Claude Gaudel},
title = {Testing for refinement in {C}ircus},
journal = {Acta Informatica},
volume = {48},
number = {2},
year = {2011},
pages = {97-147},
pdf = {http://www.lri.fr/~mcg/PDF/CavalcantiGaudelCircus221110.pdf}
}
@inproceedings{FASE:2011,
author = {Johan Oudinet and Alain Denise and Marie-Claude Gaudel and Richard Lassaigne and Sylvain Peyronnet},
title = {Uniform {M}onte-{C}arlo model checking},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, FASE 2011, held as Part of the Joint European
Conferences on Theory and Practice of Software, ETAPS 2011
},
publisher = {Springer Verlag},
volume = {6603},
series = {Lecture Notes in Computer Science},
year = {2011},
pages = {127-140},
pdf = {http://www.lri.fr/~mcg/PDF/FASE.pdf},
x-equipes = {fortesse},
x-type = {article},
x-support = {actes},
x-cle-support = {A},
type_digiteo = {conf_isbn}
}
2010
2010.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2010.bib -c 'year = 2010' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{feliachi:uznifying-theories:2010,
author = {Abderrahmane Feliachi and Marie-Claude Gaudel and Burkhart Wolff},
title = {Unifying Theories in {I}sabelle/{HOL}},
booktitle = {Unifying Theories of Programming 2010},
publisher = {Springer Verlag},
volume = {6445},
series = {Lecture Notes in Computer Science},
month = {November},
year = {2010},
pages = {188-206},
address = {Shanghai, China},
pdf = {http://www.lri.fr/~feliachi/Papers/UTP10.pdf},
x-equipes = {fortesse},
x-type = {article},
x-support = {actes},
x-cle-support = {B},
type_digiteo = {conf_isbn}
}
@inproceedings{CavalGau:UTP:2010,
author = {Ana Cavalcanti and Marie-Claude Gaudel},
title = {Specification coverage for testing in {C}ircus},
booktitle = {Unifying Theories of Programming 2010},
publisher = {Springer Verlag},
volume = {6445},
series = {Lecture Notes in Computer Science},
month = {November},
year = {2010},
pages = {1-45},
address = {Shanghai, China},
pdf = {http://www.lri.fr/~mcg/PDF/CavalcantiGaudelUTP-2.pdf},
x-equipes = {fortesse},
x-type = {article},
x-support = {actes},
x-cle-support = {B},
type_digiteo = {conf_isbn}
}
@proceedings{ictac2010,
editor = {Ana Cavalcanti and
David D{\'e}harbe and
Marie-Claude Gaudel and
Jim Woodcock},
title = {Theoretical Aspects of Computing - ICTAC 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September
1-3, 2010. Proceedings},
booktitle = {ICTAC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6255},
year = {2010}
}
@inproceedings{gascom10,
author = {Johan Oudinet and Alain Denise and Marie-Claude Gaudel},
title = {A new dichotomic algorithm for the uniform random generation of words in regular languages},
booktitle = {Conference on random and exhaustive generation of combinatorial objects ({GASCom})},
year = 2010,
address = {Montreal, Canada},
month = {September},
note = {10 pages},
publisher = {To appear}
}
@inproceedings{Gaudel07,
author = {Marie-Claude Gaudel},
title = {Software Testing Based on Formal Specification},
booktitle = {Testing Techniques in Software Engineering, Second Pernambuco
Summer School on Software Engineering, PSSE 2007, December 3-7, 2007, Revised Lectures},
pages = {215-242},
editor = {Paulo Borba and
Ana Cavalcanti and
Augusto Sampaio and
Jim Woodcock},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6153},
year = {2010}
}
2008
2008.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2008.bib -c 'year = 2008' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{MBT08,
author = {Marie-Claude Gaudel and Alain Denise and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet},
title = {Coverage-biased random exploration of large models},
booktitle = {4th ETAPS Workshop on Model Based Testing},
series = {Electronic Notes in Theoretical Computer Science},
year = 2008,
volume = {220, Issue 1, 10},
pages = {3-14},
x-equipes = {fortesse bioinfo parall EXT},
x-type = {invitation},
x-support = {actes},
x-cle-support = {B},
note = {invited lecture},
pdf = {http://www.lri.fr/~mcg/PDF/MBT08.pdf}
}
@inproceedings{CG08,
author = {Ana Cavalcanti and Marie-Claude Gaudel},
title = {A note on traces refinement and the {\textit{conf}} relation in the
{U}nifying {T}heories of {P}rogramming},
booktitle = {Unifying Theories of Programming, Second International Symposium,
{UTP} 2008, Trinity College, Dublin, {Ireland}, September 8-10, 2008,
Revised Selected Papers},
year = {2008},
editor = {Andrew Butterfield},
volume = {5713},
series = {Lecture Notes in Computer Science},
pages = {42--61},
publisher = {Springer},
pdf = {http://www.lri.fr/~mcg/PDF/UTP08.pdf},
x-equipes = {fortesse EXT},
x-type = {article},
x-support = {actes},
x-cle-support = {B},
type_digiteo = {conf_isbn}
}
2007
2007.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2007.bib -c 'year = 2007' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{IJCAI07,
author = {Nicolas Baskiotis and
Mich{\`e}le Sebag and
Marie-Claude Gaudel and
Sandrine-Dominique Gouraud},
title = {A Machine Learning Approach for Statistical Software Testing},
booktitle = {IJCAI, Proceedings of the 20th International Joint
Conference on Artificial Intelligence},
year = {2007},
pages = {2274-2279},
pdf = {http://www.ijcai.org/papers07/Papers/IJCAI07-366.pdf}
}
@inproceedings{ICFEM07,
author = {A. Cavalcanti and M.-C. Gaudel},
title = {Testing for Refinement in {CSP}},
booktitle = {Formal Methods and Software Engineering, ICFEM 2007},
publisher = {Springer Verlag},
volume = 4789,
series = {Lecture Notes in Computer Science},
year = {2007},
pages = {151-170},
pdf = {http://www.lri.fr/~mcg/PDF/GaudelCSPreport.pdf}
}
@incollection{survey,
author = {M.-C. Gaudel and P. Le Gall},
booktitle = {Formal Methods and Testing, R. Hierons, J. Bowen, and M. Harman,eds},
title = {Testing Data Types Implementations from Algebraic Specifications},
publisher = {Springer-Verlag},
volume = 4949,
series = {Lecture Notes in Computer Science},
year = 2007,
note = {209-239},
pdf = {http://www.lri.fr/~mcg/PDF/surveyTestTAA.pdf}
}
2006
2006.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2006.bib -c 'year = 2006' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{lassos,
author = {A. Denise and M.-C. Gaudel and S.-D. Gouraud and R. Lasseigne and S. Peyronnet },
title = {Uniform Random Sampling of Traces in very Large Models},
booktitle = {1st International ACM Workshop on Random Testing},
year = 2006,
month = {July},
pages = {10 -19},
pdf = {http://www.lri.fr/~mcg/PDF/108.pdf}
}
@incollection{encyclo,
author = {Gaudel, M.-C.},
booktitle = {Encyclop\'edie de l{'}informatique et des syst\`emes d{'}information},
title = {Validation et V\'erification},
publisher = {Vuibert},
year = 2006,
pages = {1136-1150},
comment = {VetV080705ter.doc}
}
@incollection{ICC,
author = {Gaudel, M.-C.},
booktitle = {Communication, Connaissance : supports et m\'ediations \`a l{'}\^age de l{'}information, J.-G. Ganascia, ed.},
title = {Les objets \`a l{'}\'epreuve des faits},
publisher = {CNRS \'Editions},
year = 2006,
note = {4 pages},
comment = {http://www.lri.fr/~mcg/PDF/ObjetsICC1205.pdf}
}
@techreport{priorites,
author = {G. Lestiennes and M.-C. Gaudel },
title = {Mod\'elisation et Test de Syst\`emes comportant des actions prioritaires},
institution = {Universit\'e de Paris-Sud},
year = 2006,
month = {march},
type = {Rapport {LRI}},
number = 1434,
pdf = {http://www.lri.fr/~mcg/PDF/RapportEntreesPrioritaires.pdf}
}
2005
2005.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2005.bib -c 'year = 2005' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{FME05,
author = {Gaudel, M.-C.},
title = {Formal Methods and Testing: Hypotheses, and Correctness Approximations},
booktitle = {FM 2005: Formal Methods: International Symposium of Formal Methods},
publisher = {Springer Verlag},
volume = 3582,
series = {Lecture Notes in Computer Science},
year = {2005},
pages = {2-8},
note = {keynote talk},
pdf = {http://www.lri.fr/~mcg/PDF/gaudelFME05.pdf}
}
@article{MSR,
author = {G. Lestiennes and M.-C. Gaudel },
title = {Test de syst\`emes r\'eactifs non r\'eceptifs},
journal = {Journal Europ\'en des Syst\`emes automatis\'es},
year = {2005},
volume = {36},
number = {1-2-3},
pages = {255-270},
note = {proceedings of MSR'05},
pdf = {http://www.lri.fr/~mcg/PDF/MSR2005.pdf}
}
@inproceedings{undo,
author = {Gaudel, M.-C.},
title = {Toward Undoing in Composite Web Services},
booktitle = {Architecting Dependable Systems III},
publisher = {Springer Verlag},
volume = 3549,
series = {Lecture Notes in Computer Science},
year = 2005,
pages = {59-68},
pdf = {http://www.lri.fr/~mcg/PDF/UndoLast.pdf}
}
@article{atomic,
author = {C. Jones and D. Lomet and A. Romanovsky and G. Weikum and A. Fekete and M.-C. Gaudel and H. F. Korth and R. de Lemos and E. Moss and R. Rajwar and K. Ramamritham and B. Randell and L. Rodrigues},
title = {The Atomic Manifesto: a Story in Four Quarks},
journal = {Journal of Universal Computer Science},
year = {2005},
volume = {11},
number = {5},
pages = {636-650},
pdf = {http://www.lri.fr/~mcg/PDF/AtomicManifesto.pdf}
}
2004
2004.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2004.bib -c 'year = 2004' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{DeniseGG04,
author = {A. Denise and M.-C. Gaudel and S.-D. Gouraud},
title = {A Generic Method for Statistical Testing},
booktitle = {IEEE Int. Symp. on Software Reliability Engineering (ISSRE)},
year = {2004},
pages = {25-34},
pdf = {http://www.lri.fr/~mcg/PDF/articleISSRE04.pdf}
}
2002
2002.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2002.bib -c 'year = 2002' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{LG02,
author = {G. Lestiennes and M.-C. Gaudel},
title = {Testing processes from formal specifications with inputs, outputs, and datatypes},
booktitle = {IEEE Int. Symp. on Software Reliability Engineering (ISSRE)},
year = {2002},
pages = {3-14},
pdf = {http://www.lri.fr/~mcg/PDF/LesGau02.pdf}
}
2001
2001.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2001.bib -c 'year = 2001' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{ase2001,
author = {S.-D. Gouraud and A. Denise and M.-C. Gaudel and B. Marre},
title = {A New Way of Automating Statistical Testing Methods},
booktitle = {IEEE International Conference on Automated Software Engineering (ASE)},
year = {2001},
pages = {5-12},
pdf = {http://www.lri.fr/~mcg/PDF/ase2001Revise.pdf}
}
@inproceedings{Ada2001,
author = {Gaudel, Marie-Claude},
affiliation = {UniversitŽ de Paris-Sud et CNRS L.R.I B‰t. 490 F-91405 Orsay-cedex France},
title = {Testing from Formal Specifications, a Generic Approach},
booktitle = {Reliable SoftwareTechnologies Ñ Ada-Europe 2001},
series = {Lecture Notes in Computer Science},
editor = {Craeynest, Dirk and Strohmeier, Alfred},
publisher = {Springer Berlin / Heidelberg},
pages = {35-48},
volume = {2043},
note = {invited lecture},
year = {2001}
}
1999
1999.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1999.bib -c 'year = 1999' /users/asspro/mcg/WWW/mcg.bib}}
@article{JEG99,
author = {P. R. James and M. Endler and
M.-C. Gaudel},
title = {Development of an Atomic Broadcast Protocol using {LOTOS}},
journal = {Software Practice and Experience},
year = {1999},
volume = {29},
number = {8},
pages = {699-719},
comment = {no file available}
}
1998
1998.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1998.bib -c 'year = 1998' /users/asspro/mcg/WWW/mcg.bib}}
@article{GJ98,
author = {M.-C. Gaudel and P. R. James},
title = {Testing Algebraic Data Types and Processes: a unifying theory},
journal = {Formal Aspects of Computing},
volume = {10(5-6)},
pages = {436--451},
year = {1998},
pdf = {http://www.lri.fr/~mcg/PDF/GJ99.pdf}
}
1996
1996.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1996.bib -c 'year = 1996' /users/asspro/mcg/WWW/mcg.bib}}
@incollection{boiler,
author = {M.-C. Gaudel and P. Dauchy and C. Khoury},
booktitle = {Formal Methods for Industrial Applications: specifying and programming the Steam Boiler Control},
title = {A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State},
publisher = {Springer-Verlag},
volume = 1165,
series = {Lecture Notes in Computer Science},
year = {1996},
pages = {233-264},
pdf = {http://www.lri.fr/~mcg/PDF/Boiler-fulltext.pdf}
}
1995
1995.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1995.bib -c 'year = 1995' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{Gaudel95,
author = {Gaudel, M.-C.},
title = {Testing can be formal, too},
booktitle = {TAPSOFT'95, International Joint Conference, Theory
And Practice of Software Development},
publisher = {Springer Verlag},
volume = 915,
series = {Lecture Notes in Computer Science},
year = 1995,
address = {Aarhus, Denmark},
pages = {82-96},
pdf = {http://www.lri.fr/~mcg/PDF/TAPSOFTfin.pdf}
}
@inproceedings{Transit,
author = {A. Arnold and M. Gaudel and B. Marre},
title = {An Experiment on the Validation of a Specification by Heterogeneous Formal
Means: The Transit Node},
booktitle = { 5th IFIP Working Conference on Dependable Computing for Critical Applications
(DCCA5)},
pages = {24--34},
year = {1995},
comment = {file to be found}
}
1993
1993.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1993.bib -c 'year = 1993' /users/asspro/mcg/WWW/mcg.bib}}
@article{DGM93,
author = {P. Dauchy and M.-C. Gaudel and B. Marre},
title = {Using Algebraic Specifications in Software Testing : a case study on the software of an automatic subway},
journal = {Journal of Systems and Software},
year = {1993},
volume = {21},
number = {3},
pages = {229-244},
pdf = {http://www.lri.fr/~mcg/PDF/jss93.pdf}
}
1992
1992.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1992.bib -c 'year = 1992' /users/asspro/mcg/WWW/mcg.bib}}
@inproceedings{BGM92,
author = {G. Bernot and M.-C. Gaudel and B. Marre},
title = {A Formal Approach to Software Testing},
booktitle = {2nd International Conference on Algebraic Methodology and Software Technology (AMAST)},
number = 670,
series = {Worshops in Computing Series},
year = 1992,
pages = {243-253},
publisher = {Springer Verlag},
pdf = {http://www.lri.fr/~mcg/PDF/amast93.pdf}
}
1991
1991.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1991.bib -c 'year = 1991' /users/asspro/mcg/WWW/mcg.bib}}
@article{BGM91,
author = {G. Bernot and
M.-C. Gaudel and
B. Marre},
title = {Software testing based on formal specifications: a theory and a tool},
journal = {Software Engineering Journal},
year = {1991},
volume = {6},
number = {6},
pages = {387-405},
pdf = {http://www.lri.fr/~mcg/PDF/sej91.pdf}
}
1986
1986.bib
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/1986.bib -c 'year = 1986' /users/asspro/mcg/WWW/mcg.bib}}
@article{Boug86,
author = {L. Boug\'e and N.Choquet and L. Fribourg and M.-C. Gaudel},
title = {Test set generation from algebraic specifications using logic programming},
journal = {Journal of Systems and Software},
year = {1986},
volume = {6},
number = {4},
pages = {343-360},
comment = {no file}
}
