10715 search results - page 266 / 2143 » Proofs from Tests |
184
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
226
click to vote
TSE
2010
15 years 1 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
156
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
188
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Database-centric applications (DCAs) are common in enterprise computing, and they use nontrivial databases. Testing of DCAs is increasingly outsourced to test centers in order t...
158
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The idea of conducting usability tests remotely emerged ten years ago. Since then, it has been studied empirically, and some software organizations employ remote methods. Yet ther...