2191 search results - page 124 / 439 » Evolutionary testing of classes |
126
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
131
Voted
APPROX
2009
Springer
15 years 10 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...
125
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
116
Voted
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Statistical query (SQ) learning model of Kearns is a natural restriction of the PAC learning model in which a learning algorithm is allowed to obtain estimates of statistical prop...
151
Voted
EMO
2009
Springer
15 years 1 months ago
2009
Springer
Traditionally, Predator-Prey Models--although providing a more nature-oriented approach to multi-objective optimization than many other standard Evolutionary Multi-Objective Algori...