Sciweavers

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