-
Selection by year
-
Selection by authors
-
Complete lists
jeron08
Th. Jéron. Symbolic Model-based Test Selection. In Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), Electronic Notes in Theoretical Computer Science, Volume 40, Pages 167-184, 2009.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
BibTex Reference
@InProceedings{jeron08,
Author = {Jéron, Th.},
Title = {Symbolic Model-based Test Selection},
BookTitle = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008)},
Volume = {40},
Pages = {167--184},
Series = {Electronic Notes in Theoretical Computer Science},
Publisher = {Springer},
Year = {2009}
}
EndNote Reference [help]
Get EndNote Reference (.ref)