Sciweavers

6704 search results - page 75 / 1341
» Testing Scenario-Based Models
Sort
View
CORR
2010
Springer
52views Education» more  CORR 2010»
13 years 10 months ago
Syntactic Abstraction of B Models to Generate Tests
Jacques Julliand, Nicolas Stouls, Pierre-Christoph...
BC
2006
64views more  BC 2006»
13 years 10 months ago
Tests of Models for Saccade-Vergence Interaction using Novel Stimulus Conditions
Arun N. Kumar, Yanning H. Han, Robert F. Kirsch, L...
ETS
2008
IEEE
71views Hardware» more  ETS 2008»
13 years 10 months ago
A Practical Computer Adaptive Testing Model for Small-Scale Scenarios
Yu-Hui Tao, Yu-Lung Wu, Hsin-Yi Chang
ENTCS
2007
73views more  ENTCS 2007»
13 years 10 months ago
Towards the Integration of Visual and Formal Models for GUI Testing
Ana Paiva, João C. P. Faria, Raul F. A. M. ...