|
 
|
[CDG12] A first step in the design of a formally verified constraint-based testing tool: FocalTest
Conférence Internationale avec comité de lecture : Tests and Proofs , May 2012, Vol. 7305, pp.35--50, Series LNCS, Prague, TCHEQUE, REPUBLIQUE,
motcle:
Résumé:
A first step in the design of a formally verified constraint-based testing tool
Equipe:
sys
BibTeX
| @inproceedings { | |||
| CDG12, | |||
| title | = | "{A first step in the design of a formally verified constraint-based testing tool: FocalTest}", | |
| author | = | " M. Carlier and C. Dubois and A. Gotlieb ", | |
| booktitle | = | "{Tests and Proofs }", | |
| year | = | 2012, | |
| month | = | "May", | |
| series | = | "LNCS", | |
| volume | = | 7305, | |
| pages | = | "35--50", | |
| address | = | "Prague, TCHEQUE, REPUBLIQUE", | |
| } | |||
