197 search results - page 8 / 40 » Model-Checking Plus Testing: From Software Architecture Anal... |
OOPSLA
2001
Springer
13 years 12 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
JSS
2002
13 years 7 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
WCRE
2002
IEEE
14 years 10 days ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
ASWEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Assessing the likely run-time performance of applications using thin-client architectures during their design is very difficult. We describe SoftArch/Thin, a thin-client test-bed ...