200 search results - page 6 / 40 » A Global Algorithm for Model-Based Test Suite Generation |
ACL
2008
14 years 11 months ago
2008
A solution to the problem of homograph (words with multiple distinct meanings) identification is proposed and evaluated in this paper. It is demonstrated that a mixture model base...
FATES
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
IJCAI
2007
14 years 11 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
JAIR
2010
14 years 8 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...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...