1112 search results - page 25 / 223 » Executing Abstract Test Cases |
APN
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— The paper deals with decentralized Bayesian detection with M hypotheses, and N sensors making conditionally correlated measurements regarding these hypotheses. Each sen...
108
click to vote
PTS
2000
14 years 11 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
104
click to vote
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
102
click to vote
CNSM
2010
2010
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
14 years 8 months ago
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...