37 search results - page 6 / 8 » Test Case Generation by OCL Mutation and Constraint Solving |
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
HAIS
2009
Springer
13 years 12 months ago
2009
Springer
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Estimation of distribution algorithms replace the typical crossover and mutation operators by constructing a probabilistic model and generating offspring according to this model....
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
FDL
2008
IEEE
14 years 1 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...