2249 search results - page 379 / 450 » ILP-based engineering change |
145
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
123
Voted
CAV
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
124
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
Multiobjective evolutionary algorithms have long been applied to engineering problems. Lately they have also been used to evolve behaviors for intelligent agents. In such applicat...
108
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
SBSE techniques have been widely applied to requirements selection and prioritization problems in order to ascertain a suitable set of requirements for the next release of a syste...
173
click to vote
EATIS
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...