Sciweavers

5 search results - page 1 / 1
» Automated Unique Input Output Sequence Generation for Confor...
Sort
View
CJ
2006
107views more  CJ 2006»
13 years 5 months ago
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs
Karnig Derderian, Robert M. Hierons, Mark Harman, ...
ICSE
2004
IEEE-ACM
14 years 5 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
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...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
FLAIRS
2001
13 years 7 months ago
Improving Knowledge-Based System Performance by Reordering Rule Sequences
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...
Neli Zlatareva
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
13 years 11 months ago
Prototype-Based Tests for Hybrid Reactive Systems
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...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
JAIR
2010
165views more  JAIR 2010»
13 years 4 months ago
A Model-Based Active Testing Approach to Sequential Diagnosis
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...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...