1722 search results - page 94 / 345 » Generating Tests from Counterexamples |
119
Voted
ISCIS
2009
Springer
15 years 9 months ago
2009
Springer
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
105
click to vote
MM
2005
ACM
15 years 8 months ago
2005
ACM
We propose IMAGINATION (IMAge Generation for INternet AuthenticaTION), a system for the generation of attack-resistant, user-friendly, image-based CAPTCHAs. In our system, we prod...
124
click to vote
HIS
2008
15 years 4 months ago
2008
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
150
Voted
HT
2009
ACM
15 years 6 months ago
2009
ACM
Adaptive hypermedia systems traditionally focus on providing personalised learning services for formal or informal learners. The learning material is typically sourced from a prop...
141
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
In this paper, we propose a novel unsupervised approach to query segmentation, an important task in Web search. We use a generative query model to recover a query's underlyin...