1860 search results - page 111 / 372 » Automatic Generation of Search Engines |
122
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
152
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
109
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
By examining searcher behavior on a large search engine, we have identified seven basic kinds of task behaviors that can be observed in web search session logs. In the studies rep...
151
click to vote
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
Modern compilers implement a large number of optimizations which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size,...
203
Voted
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...