135 search results - page 8 / 27 » Test Generation for Model-Based Diagnosis |
122
click to vote
FATES
2006
Springer
15 years 7 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...
158
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
120
click to vote
PTS
2008
15 years 5 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
122
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
111
Voted
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....