759 search results - page 100 / 152 » Test case generator for GUITAR |
107
click to vote
JAR
2008
15 years 24 days ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
110
Voted
WWW
2011
ACM
14 years 7 months ago
2011
ACM
We describe a new method for query completion for Bollywood song search without using query logs. Since song titles in nonEnglish languages (Hindi in our case) are mostly present ...
107
click to vote
EUROGP
2007
Springer
15 years 7 months ago
2007
Springer
This paper reports on the results of a preliminary study conducted to evaluate genetic programming (GP) as a means of evolving finite state transducers. A genetic programming syste...
114
click to vote
HAIS
2009
Springer
15 years 5 months ago
2009
Springer
Differential Evolution (DE) is a novel evolutionary approach capable of handling non-differentiable, non-linear and multi-modal objective functions. DE has been consistently ranked...
96
Voted
USS
2008
15 years 3 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...