5 search results - page 1 / 1 » Automated Unique Input Output Sequence Generation for Confor... |
CJ
2006
13 years 11 months ago
2006
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
FLAIRS
2001
14 years 8 days ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
RSP
2003
IEEE
14 years 4 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...
JAIR
2010
13 years 9 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...