ICTAC
2009
Springer
13 years 2 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
AMOST
2007
ACM
13 years 8 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
ICECCS
1996
IEEE
13 years 8 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
ICECCS
1997
IEEE
13 years 8 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
ICECCS
2000
IEEE
13 years 8 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
FATES
2005
Springer
13 years 10 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...