3 search results - page 1 / 1 » Assume-guarantee verification of software components in SOFA... |
IEE
2010
13 years 3 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
FM
2008
Springer
13 years 6 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
ACMSE
2006
ACM
13 years 11 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...