Sciweavers

5855 search results - page 115 / 1171
» Test generation and minimization with
Sort
View
CORR
2010
Springer
52views Education» more  CORR 2010»
15 years 1 months ago
Syntactic Abstraction of B Models to Generate Tests
Jacques Julliand, Nicolas Stouls, Pierre-Christoph...
CJ
2006
107views more  CJ 2006»
15 years 1 months ago
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs
Karnig Derderian, Robert M. Hierons, Mark Harman, ...
PCS
2008
52views more  PCS 2008»
15 years 1 months ago
Automation of broad sanity test generation
R. S. Zybin, Victor V. Kuliamin, A. V. Ponomarenko...