488 search results - page 31 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
142
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
123
click to vote
TVLSI
2008
15 years 3 months ago
2008
Reconfigurable hardware is ideal for use in Systems-on-a-Chip, as it provides both hardware-level performance and post-fabrication flexibility. However, any one architecture is ra...
122
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
137
click to vote
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
The reengineering of legacy software systems to modern Object Oriented platforms has received significant attention over the past few years. However, most often the reengineering ...
115
click to vote
IGPL
2006
15 years 3 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...