1133 search results - page 156 / 227 » Backward-chaining genetic programming |
165
click to vote
RTA
2007
Springer
15 years 11 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
160
Voted
CPHYSICS
2007
15 years 4 months ago
2007
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
130
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Techniques for test-case prioritization re-order test cases to increase their rate of fault detection. When there is a fixed time budget that does not allow the execution of all ...
167
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...
149
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...