dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Séverine Colin Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSéverine Colin, Franck Lebeau, Bruno Legeard: Génération de tests à partir de statecharts fondée sur le calcul de comportements. Technique et Science Informatiques 25(1): 103-132 (2006)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSéverine Colin, Leonardo Mariani: Run-Time Verification. Model-Based Testing of Reactive Systems 2004: 525-555
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSéverine Colin, Bruno Legeard, Fabien Peureux: Preamble computation in automated test case generation using constraint logic programming. Softw. Test., Verif. Reliab. 14(3): 213-235 (2004)

Coauthor Index

1Franck Lebeau [3]
2Bruno Legeard [1] [3]
3Leonardo Mariani [2]
4Fabien Peureux [1]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page