Sciweavers

2774 search results - page 170 / 555
» Query-Driven Program Testing
Sort
View
EUROGP
2004
Springer
129views Optimization» more  EUROGP 2004»
15 years 7 months ago
Evolution and Acquisition of Modules in Cartesian Genetic Programming
The paper presents for the first time automatic module acquisition and evolution within the graph based Cartesian Genetic Programming method. The method has been tested on a set of...
James Alfred Walker, Julian Francis Miller
ICSE
2010
IEEE-ACM
15 years 7 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
VL
1996
IEEE
15 years 6 months ago
Steering programs via time travel
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...
John W. Atwood Jr., Margaret M. Burnett, Rebecca A...
IDEAL
2000
Springer
15 years 6 months ago
Combining Ordinal Financial Predictions with Genetic Programming
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...
Edward P. K. Tsang, Jin Li
MP
2006
137views more  MP 2006»
15 years 2 months ago
New algorithms for singly linearly constrained quadratic programs subject to lower and upper bounds
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
Yu-Hong Dai, Roger Fletcher