5855 search results - page 238 / 1171 » Test generation and minimization with |
164
click to vote
PLDI
2005
ACM
16 years 5 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
153
click to vote
DDECS
2007
IEEE
16 years 29 days ago
2007
IEEE
— Recently, there is a renewed interest in Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT). This results from the availability of very powerful SA...
165
click to vote
ICALT
2007
IEEE
16 years 29 days ago
2007
IEEE
In this study, we design and prototype an automatic quiz generation system (auto-quiz for short) for a given English text to test learner comprehension of text content and English...
174
click to vote
CNSR
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper, a modeling and simulation framework is proposed for generating data for training and testing intrusion detection systems. The framework can develop models of web us...
166
click to vote
NIPS
2007
15 years 8 months ago
2007
The present work aims to model the correspondence between facial motion and speech. The face and sound are modelled separately, with phonemes being the link between both. We propo...