10715 search results - page 200 / 2143 » Proofs from Tests |
196
Voted
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
81
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
124
click to vote
OOPSLA
2001
Springer
15 years 5 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 ...
117
Voted
PTS
1993
15 years 2 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
59
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper, we further illustrate the versatility and effectiveness of our novel tests for ensuring safe adaptive control in practice. The tests utilize a limited amount of ...