3736 search results - page 292 / 748 » Generative Programming |
141
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
130
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
137
Voted
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
139
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
We use affine arithmetic to improve both the performance and the robustness of genetic programming for symbolic regression. During evolution, we use affine arithmetic to analyze e...
113
click to vote
MP
2006
15 years 3 months ago
2006
We study the interpolation procedure of Gomory and Johnson (1972), which generates cutting planes for general integer programs from facets of cyclic group polyhedra. This idea has...