2013

2013.bib

@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -ob /tmp/2013.bib -c 'year = 2013' /users/asspro/mcg/WWW/mcg.bib}}
@article{DBLP:journals/corr/abs-1304-5199,
  author = {Marie-Claude Gaudel and
               Richard Lassaigne and
               Fr{\'e}d{\'e}ric Magniez and
               Michel de Rougemont},
  title = {Some approximations in Model Checking and Testing},
  journal = {CoRR},
  volume = {abs/1304.5199},
  year = {2013},
  ee = {http://arxiv.org/abs/1304.5199},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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}}
@article{TCS:2012,
  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},
  journal = {TCS, Theoretical Computer Science},
  year = {2012},
  volume = {X},
  number = {Y},
  pages = {XX-YY},
  publisher = {Elsevier},
  note = {extended version of \cite{gascom10}, to appear},
  pdf = {http://www.lri.fr/~mcg/PDF/TCSfinal.pdf}
}
@article{CNRS:2012,
  author = {Marie-Claude Gaudel},
  title = {Le test de logiciel : pourquoi et comment },
  journal = {Rayonnement du CNRS},
  year = {2012},
  month = {March},
  pages = {33-39},
  publisher = {CNRS},
  pdf = {http://www.lri.fr/~mcg/PDF/RayCNRS.pdf}
}
@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 = {UQAM}
}
@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}
}
Design created by Johan Oudinet