338 search results - page 1 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
ICTAC
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
EUROSYS
2006
ACM
14 years 3 months ago
2006
ACM
—Restoring data operations after a disaster is a daunting task: how should recovery be performed to minimize data loss and application downtime? Administrators are under consider...
CONCUR
1999
Springer
13 years 10 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
TAP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
SERA
2007
Springer
14 years 11 days ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...