6800 search results - page 528 / 1360 » Testing with Functions as Specifications |
240
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
284
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Bioinformatic analyses typically proceed as chains of data-processing tasks. A pipeline, or ‘workflow’, is a well-defined protocol, with a specific structure defin...
217
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
232
click to vote
GECCO
2004
Springer
16 years 29 days ago
2004
Springer
In this paper we examine the effects of single node mutations on trees evolved via genetic programming. The results show that neutral mutations are less likely for nodes nearer th...
188
click to vote
CHI
2009
ACM
16 years 8 months ago
2009
ACM
Although usability is the core aspect of the whole HCI research field, it still waits for its economic breakthrough. There are some corporations that are famous for their usable p...