284 search results - page 1 / 57 » Explanation-based Scenario Generation for Reactive System Mo... |
KBSE
1998
IEEE
13 years 8 months ago
1998
IEEE
AAAI
1990
13 years 5 months ago
1990
An original methodology, called backward model tracing to model student performance which features a profitable integration of the bug collection and bug construction techniques i...
HICSS
2005
IEEE
13 years 10 months ago
2005
IEEE
1 Quickly detecting an unexpected pathogen can save many lives. In cases of bioterrorism or naturally occurring epidemics, accurate diagnoses may not be made until much of the popu...
CICLING
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
RSP
2003
IEEE
13 years 9 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...