10715 search results - page 143 / 2143 » Proofs from Tests |
AICCSA
2001
IEEE
14 years 2 months ago
2001
IEEE
In corrective maintenance, selective regression testing includes test selection from previously run test suite and test coverage identification. We propose three reductionbased re...
SE
2008
14 years 6 days ago
2008
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
We present some new decision and comparison problems of unusually high computational complexity. Most of the problems are strictly combinatorial in nature; others involve basic lo...
FLAIRS
2000
14 years 4 days ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...