69 search results - page 13 / 14 » On the testability of SDL specifications |
DAC
2009
ACM
14 years 1 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
ICSM
2005
IEEE
13 years 12 months ago
2005
IEEE
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
ICSE
2005
IEEE-ACM
13 years 12 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...
FTCS
1993
13 years 7 months ago
1993
Although the present work does in fact employ training data, it does so in the interest of calibrating the results Six hundred faults were induced by injection into five live obtai...
DAC
2003
ACM
14 years 7 months ago
2003
ACM
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) th...