3736 search results - page 362 / 748 » Generative Programming |
152
click to vote
CAV
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
147
Voted
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...
161
click to vote
LOPSTR
1992
Springer
15 years 8 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
152
click to vote
NDSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
129
Voted
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Abstract-- This paper describes two distortion estimation techniques for object recognition that solve EZ-Gimpy and Gimpy-r, two of the visual CAPTCHAs ("Completely Automated ...