Symbolic Test Generation for Reactive Systems with Data. (Méthodes symboliques pour la génération de tests desystèmes réactifs comportant des données)

@inproceedings{Zinovieva2004SymbolicTG,
  title={Symbolic Test Generation for Reactive Systems with Data. (M{\'e}thodes symboliques pour la g{\'e}n{\'e}ration de tests desyst{\`e}mes r{\'e}actifs comportant des donn{\'e}es)},
  author={Elena Zinovieva},
  year={2004}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…