6704 search results - page 86 / 1341 » Testing Scenario-Based Models |
120
click to vote
UM
2007
Springer
15 years 8 months ago
2007
Springer
: SimStudent is a machine-learning agent that learns cognitive skills by demonstration. It was originally developed as a building block of the Cognitive Tutor Authoring Tools (CTAT...
143
click to vote
PTS
2003
15 years 3 months ago
2003
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the...
124
Voted
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
125
Voted
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
101
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...