184 search results - page 23 / 37 » A Formal Framework for Mutation Testing |
151
click to vote
AGI
2011
14 years 6 months ago
2011
Under Legg’s and Hutter’s formal measure [1], performance in easy environments counts more toward an agent’s intelligence than does performance in difficult environments. An ...
144
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
138
click to vote
TEC
2012
13 years 5 months ago
2012
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...
172
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
127
click to vote
JCB
2006
15 years 3 months ago
2006
We propose a dictionary model for haplotypes. According to the model, a haplotype is constructed by randomly concatenating haplotype segments from a given dictionary of segments. ...