809 search results - page 28 / 162 » Requirements by Contracts allow Automated System Testing |
148
click to vote
RSP
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
131
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Enterprise systems are load tested for every added feature, software updates and periodic maintenance to ensure that the performance demands on system quality, availability and res...
154
click to vote
AAAI
2000
15 years 5 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
132
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
144
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...