310 search results - page 3 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
TASE
2009
IEEE
14 years 23 days ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
FATES
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
ISORC
2000
IEEE
13 years 10 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
TACAS
2005
Springer
13 years 11 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
WICSA
2008
13 years 7 months ago
2008
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...