2302 search results - page 32 / 461 » Testing as Abstraction |
186
click to vote
FM
2009
Springer
15 years 3 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...
150
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
118
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
140
click to vote
FASE
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
153
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...