1992 search results - page 69 / 399 » Model Based Testing with Labelled Transition Systems |
116
click to vote
FORTE
2008
15 years 3 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
139
click to vote
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
123
click to vote
JAIR
2010
15 years 28 days 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...
110
Voted
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper addresses the problem of classification in situations where the data distribution is not homogeneous: Data instances might come from different locations or times, and t...
117
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...