396 search results - page 31 / 80 » Using Refinement Checking as System Testing |
172
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
200
click to vote
IRI
2008
IEEE
16 years 13 days ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
176
click to vote
ILC
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
270
click to vote
CC
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
157
click to vote
COMPSAC
2006
IEEE
16 years 2 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...