10715 search results - page 176 / 2143 » Proofs from Tests |
90
Voted
ASIACRYPT
2003
Springer
15 years 4 months ago
2003
Springer
We describe slightly modified version (that we call the HOT protocol) of the Aiello-Ishai-Reingold oblivious transfer protocol from
117
Voted
STOC
2007
ACM
16 years 1 months ago
2007
ACM
In this work, we consider the problems of testing whether a distribution over {0, 1}n is k-wise (resp. ( , k)-wise) independent using samples drawn from that distribution. For the...
122
click to vote
SIGADA
2001
Springer
15 years 5 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
99
Voted
FASE
2007
Springer
15 years 7 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
98
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...