3424 search results - page 75 / 685 » Automated Testing of Classes |
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
146
click to vote
ESAW
2007
Springer
16 years 10 days ago
2007
Springer
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
140
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
We study several complexity parameters for first order formulas and their suitability for first order learning models. We show that the standard notion of size is not captured by...
171
click to vote
CMS
2006
15 years 7 months ago
2006
Abstract. Completely Automated Public Turing Test to tell Computers and Humans Apart (CAPTCHA) is a
158
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...