4457 search results - page 226 / 892 » Tests of Machine Intelligence |
164
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
173
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
153
Voted
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
How much help helps in discovery learning? This question is one instance of the assistance dilemma, an important issue in the learning sciences and educational technology research....
193
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
178
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...