ForTesSE Group

Burkhart Wolff, Marie-Claude Gaudel and Abderrahmane Feliachi (eds.). Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers LNCS 7681. Springer, 2013.
[ BibTeX ]

@proceedings{DBLP:conf/utp/2008,
	editor = "Burkhart Wolff and Marie-Claude Gaudel and Abderrahmane Feliachi",
	title = "Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers",
	booktitle = "UTP",
	publisher = "Springer",
	series = "Lecture Notes in Computer Science",
	volume = "LNCS 7681",
	year = 2013,
	isbn = "978-3-642-35704-6",
	activity = "something"
}

Johan Oudinet, Alain Denise and Marie-Claude Gaudel. A new dichotomic algorithm for the uniform random generation of words in regular languages. TCS, Theoretical Computer Science 502:165-176, 2013. extended version of \citegascom10.
[ BibTeX | pdf ]

@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 = 2013,
	volume = 502,
	pages = "165-176",
	publisher = "Elsevier",
	note = "extended version of \cite{gascom10}",
	pdf = "http://www.lri.fr/~mcg/PDF/TCSfinal.pdf"
}

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet and Sylvain Peyronnet. Coverage-Biased Random Exploration of Large Models and Application to Testing. STTT, International Journal on Software Tools for Technology Transfer 14(1):73-93, 2012.
[ BibTeX | pdf ]

@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"
}

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne and Sylvain Peyronnet. Uniform Monte-Carlo model checking. In 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 6603. 2011, 127-140.
[ BibTeX | 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"
}

Johan Oudinet, Alain Denise and Marie-Claude Gaudel. A new dichotomic algorithm for the uniform random generation of words in regular languages. In Conference on random and exhaustive generation of combinatorial objects (GASCom). September 2010. 10 pages.
[ BibTeX ]

@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"
}

Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet and Sylvain Peyronnet. Coverage-biased random exploration of large models. In 4th ETAPS Workshop on Model Based Testing 220, Issue 1, 10. March 2008, 3-14. invited lecture.
[ BibTeX | pdf ]

@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",
	month = "March"
}

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet and Sylvain Peyronnet. Coverage-Biased Random Exploration of Large Models and Application to Testing. Number 1494, LRI, June 2008.
[ BibTeX | pdf ]

@techreport{rasta08cbrTR,
	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",
	institution = "LRI",
	year = 2008,
	number = 1494,
	address = "Universit\'e Paris-Sud XI",
	month = "June",
	pdf = "http://www.lri.fr/~bibli/Rapports-internes/2008/RR1494.pdf",
	x-equipes = "fortesse bioinfo parall EXT",
	x-type = "article",
	x-support = "rapport"
}