6800 search results - page 245 / 1360 » Testing with Functions as Specifications |
152
click to vote
TOOLS
2010
IEEE
15 years 10 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
140
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
We consider the problem of testing functions for the property of being a k-junta (i.e., of depending on at most k variables). Fischer, Kindler, Ron, Safra, and Samorodnitsky (J. Co...
131
Voted
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we present results for significantly improving the performance of sequential circuit diagnostic test pattern generation (DATPG). Our improvements are achieved by de...
134
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Testing concurrent software is difficult due to problems with inherent non-determinism. In previous work, we have presented a method and tool support for the testing of concurrent...
129
Voted
NIPS
2007
15 years 6 months ago
2007
Although kernel measures of independence have been widely applied in machine learning (notably in kernel ICA), there is as yet no method to determine whether they have detected st...