2249 search results - page 379 / 450 » ILP-based engineering change |
GECCO
2006
Springer
14 years 26 days 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...
CAV
2001
Springer
14 years 26 days 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...
GECCO
2010
Springer
14 years 16 days 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...
GECCO
2010
Springer
14 years 16 days 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...
EATIS
2009
ACM
14 years 14 days 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...