277 search results - page 28 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
173
click to vote
SEW
2007
IEEE
16 years 7 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
151
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Aspects that trigger on a sequence of join points instead of on a single join point are not explicitly supported in current AspectOriented approaches. Explicit protocols are howeve...
183
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
180
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
162
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...