1992 search results - page 104 / 399 » Model Based Testing with Labelled Transition Systems |
150
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
130
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
A steganalysis system based on 2-D Markov chain of thresholded prediction-error image is proposed in this paper. Image pixels are predicted with their neighboring pixels, and the ...
132
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Recently there has been increasing interest in the problem of transfer learning, in which the typical assumption that training and testing data are drawn from identical distributi...
121
click to vote
ACL
1998
15 years 4 months ago
1998
In this paper we discuss the use of discourse context in spoken dialogue systems and argue that the knowledge of the domain, modelled with the help of dialogue topics is important...
162
click to vote
CIBSE
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...