NDLI: Maximising axiomatization coverage and minimizing regression testing time

Please wait, while we are loading the content...

2015 IEEE Congress on Evolutionary Computation (CEC)

2014 IEEE Congress on Evolutionary Computation (CEC)

Search-evasion path planning for submarines using the Artificial Bee Colony algorithm

Multidimensional scaling with multiswarming

Serial PSO results are irrelevant in a multi-core parallel world

Demonstrator selection in a social learning particle swarm optimizer

Enhanced differential evolution with adaptive direction information

Non-invasive detection of hypoglycemic episodes in Type 1 diabetes using intelligent hybrid rough neural system

Quantum bacterial foraging optimization algorithm

Vessel track correlation and association using fuzzy logic and Echo State Networks

A benchmark generator for dynamic capacitated arc routing problems

Chemical reaction optimization for the set covering problem

An inter-molecular adaptive collision scheme for Chemical Reaction Optimization

Base station switching problem for green cellular networks with Social Spider Algorithm

Competitive coevolutionary training of simple soccer agents from zero knowledge

United multi-operator evolutionary algorithms

Evolving artificial datasets to improve interpretable classifiers

Solving problems with a mix of hard and soft constraints using modified infeasibility driven evolutionary algorithm (IDEA-M)

Analysis and classification of optimisation benchmark functions and benchmark suites

Find robust solutions over time by two-layer multi-objective optimization method

A memetic algorithm for solving permutation flow shop problems with known and unknown machine breakdowns

The 2013 Multi-objective Physical Travelling Salesman Problem Competition

Smooth global and local path planning for mobile robot using particle swarm optimization, radial basis functions, splines and Bézier curves

AIRP: A heuristic algorithm for solving the unrelated parallel machine scheduling problem

Learning a Super Mario controller from examples of human play

A co-evolutionary teaching-learning-based optimization algorithm for stochastic RCPSP

HMOEDA_LLE: A hybrid multi-objective estimation of distribution algorithm combining locally linear embedding

An enhanced non-dominated sorting based fruit fly optimization algorithm for solving environmental economic dispatch problem

A novel improvement of particle swarm optimization using Dual Factors strategy

Aircraft landing problem using hybrid differential evolution and simple descent algorithm

A verifiable PSO algorithm in cloud computing

Space-time simulation model based on particle swarm optimization algorithm for stadium evacuation

Optimization of the picking sequence of an automated storage and retrieval system (AS/RS)

Maintaining population diversity in brain storm optimization algorithm

Bare bones particle swarm with scale mixtures of Gaussians for dynamic constrained optimization

Balancing the exploration and exploitation in an adaptive diversity guided genetic algorithm

A self organizing map based method for understanding features associated with high aesthetic value evolved abstract images

A hybrid adaptive coevolutionary differential evolution algorithm for large-scale optimization

Comparison of multiobjective particle swarm optimization and evolutionary algorithms for optimal reactive power dispatch problem

Automatic Target Recognition using multiple-aspect sonar images

Coevolutionary genetic algorithm for variable ordering in CSPs

Heuristic space diversity management in a meta-hyper-heuristic framework

Practical application of an evolutionary algorithm for the design and construction of a six-inch submarine

Visualizing the population of meta-heuristics during the optimization process using self-organizing maps

Image deblurring using a hybrid optimization algorithm

Cooperative particle swarm optimizer with elimination mechanism for global optimization of multimodal problems

A population diversity maintaining strategy based on dynamic environment evolutionary model for dynamic multiobjective optimization

A multiobjective optimization method based on MOEA/D and fuzzy clustering for change detection in SAR images

Constraint handling in agent-based optimization by independent sub-swarms

Analysis of constraint handling methods for the gravitational search algorithm

Codynamic fitness landscapes of coevolutionary minimal substrates

Scatter Search Algorithm with chaos based stochasticity

Chaos-driven Discrete Artificial Bee Colony

Investigation on efficiency of optimal mixing on various linkage sets

A Chaotic Particle Swarm Optimization algorithm for the jobshop scheduling problem

Remote sensing imagery clustering using an adaptive bi-objective memetic method

A novel chaotic artificial bee colony algorithm based on Tent map

Self-adaptive morphable model based multi-view non-cooperative 3D face reconstruction

Hybrid ACO/EA algorithms applied to the multi-agent patrolling problem

Macroscopic Indeterminacy Swarm Optimization (MISO) algorithm for real-parameter search

Use model building on discretization algorithms for discrete EDAs To work on real-valued problems

A novel Artificial Bee Colony algorithm with integration of extremal optimization for numerical optimization problems

Autonomous Learning Adaptation for Particle Swarm Optimization

Multi-objective Flexible Job-Shop scheduling problem with DIPSO: More diversity, greater efficiency

An evolutionary approach to the solution of multi-objective min-max problems in evidence-based robust optimization

A multidirectional Physarum solver for the automated design of space trajectories

Novel traffic signal timing adjustment strategy based on Genetic Algorithm

A hybrid biogeography-based optimization and fireworks algorithm

Adaptive Genetic Network Programming

Electromagnetic algorithm for tuning the structure and parameters of neural networks

Evolving exact integer algorithms with Genetic Programming

Declarative process discovery with evolutionary computing

Ant Colony Optimization and hypergraph covering problems

An algorithm for scalable clustering: Ensemble Rapid Centroid Estimation

Evolutionary regional network modeling for efficient engineering optimization

Calculating the complete pareto front for a special class of continuous multi-objective optimization problems

Improved differential evolution with adaptive opposition strategy

Kriging model based many-objective optimization with efficient calculation of expected hypervolume improvement

Application of computational intelligence for Source Code classification

MD-MOEA : A new MOEA based on the maximin fitness function and Euclidean distances between solutions

A compression optimization algorithm for community detection

Heterogeneous dynamic vector evaluated particle swarm optimisation for dynamic multi-objective optimisation

PSO-based update memory for Improved Harmony Search algorithm to the evolution of FBBFNT' parameters

Variable neighborhood decomposition for Large Scale Capacitated Arc Routing Problem

A test problem for visual investigation of high-dimensional multi-objective search

Absorption in model-based search algorithms for combinatorial optimization

Testing united multi-operator evolutionary algorithms on the CEC2014 real-parameter numerical optimization

Running Up Those Hills: Multi-modal search with the niching migratory multi-swarm optimiser

Single- and multi-objective genetic programming: New runtime results for sorting

Genetic algorithm with spatial receding horizon control for the optimization of facility locations

A multi-swarm particle swarm optimization with orthogonal learning for locating and tracking multiple optimization in dynamic environments

A hybrid EA for high-dimensional subspace clustering problem

Differential Evolution in Constrained Sampling Problems

Learning and evolution of genetic network programming with knowledge transfer

What are dynamic optimization problems?

A new GP-based wrapper feature construction approach to classification and biomarker identification

An improved JADE algorithm for global optimization

A replacement strategy for balancing convergence and diversity in MOEA/D

A new adaptive Kalman filter by combining evolutionary algorithm and fuzzy inference system

Performance of AI algorithms for mining meaningful roles

Type-II opposition-based differential evolution

Biclustering of gene expression data using Particle Swarm Optimization integrated with pattern-driven local search

Maximising axiomatization coverage and minimizing regression testing time

Characterizing the impact of selection on the evolution of cooperation in complex networks

Cartesian genetic programming as local optimizer of logic networks

Cooperative Co-evolution with a new decomposition method for large-scale optimization

Tuning a multiple classifier system for side effect discovery using genetic algorithms

Computing opposition by involving entire population

Two parameter update schemes for recurrent reinforcement learning

A memetic algorithm based on Immune multi-objective optimization for flexible job-shop scheduling problems

A memetic algorithm for solving flexible Job-Shop Scheduling Problems

Decomposition based multiobjective evolutionary algorithm for collaborative filtering recommender systems

Deployment optimization of near space airships based on MOEA/D with local search

Fitness level based adaptive operator selection for cutting stock problems with contiguity

A memetic algorithm using local structural information for detecting community structure in complex networks

A memetic algorithm for the prize-collecting Traveling Car Renter Problem

An evolutionary multi-objective approach for prototype generation

An MOEA/D with multiple differential evolution mutation operators

An external archive guided multiobjective evolutionary approach based on decomposition for continuous optimization

Control-flow discovery from event streams

Regression ensemble with PSO algorithms based fuzzy integral

On the edge of feasibility: A case study of the particle swarm optimizer

Cooperative DynDE for temporal data clustering

Online generation of trajectories for autonomous vehicles using a multi-agent system

A novel algorithm for many-objective dimension reductions: Pareto-PCA-NSGA-II

A sequential genetic programming method to learn forward construction heuristics for order acceptance and scheduling

A cooperative coevolutionary approach to multi-robot formation control

Neural network ensembles for image identification using Pareto-optimal features

Variable grouping based differential evolution using an auxiliary function for large scale global optimization

A surrogate-assisted differential evolution algorithm with dynamic parameters selection for solving expensive optimization problems

Solving dynamic double-row layout problem via an improved simulated annealing algorithm

A tabu search heuristic for the single row layout problem with shared clearances

An improved quantum-behaved particle swarm optimization algorithm based on linear interpolation

A weighting-based local search heuristic algorithm for the Set Covering Problem

Parallelization for space trajectory optimization

A combinatorial algorithm for the cardinality constrained portfolio optimization problem

A memetic algorithm with a new split scheme for solving dynamic capacitated arc routing problems

Runtime analysis comparison of two fitness functions on a memetic algorithm for the Clique Problem

Hybridizing the dynamic mutation approach with local searches to overcome local optima

A new grouping genetic algorithm for the MapReduce placement problem in cloud computing

Optimising large scale public transport network design problems using mixed-mode parallel multi-objective evolutionary algorithms

Cooperation with potential leaders in evolutionary game study of networking agents

An adaptive diversity introduction method for dynamic evolutionary multiobjective optimization

Evolving hierarchical gene regulatory networks for morphogenetic pattern formation of swarm robots

Optimal approximation of stable linear systems with a novel and efficient optimization algorithm

Ant colony clustering based on sampling for community detection

A review of hybrid evolutionary multiple criteria decision making methods

A Co-Evolutionary Multi-Objective approach for a K-adaptive graph-based clustering algorithm

Combining graph connectivity and genetic clustering to improve biomedical summarization

Mapping constrained optimization problems to penalty parameters: An empirical study

A heuristic approach to greener airport ground movement

Behavioral study of the surrogate model-aware evolutionary search framework

Extending Minimum Population Search towards large scale global optimization

A new penalty function method for constrained optimization using harmony search algorithm

Avoiding decoys in multiple targets searching problems using swarm robotics

A novel genetic algorithm approach for simultaneous feature and classifier selection in multi classifier system

Simulating the coevolution of language and long-term memory

Application of BPSO with GA in model-based fault diagnosis of traction substation

Improving the search performance of SHADE using linear population size reduction

A new dynamic probabilistic Particle Swarm Optimization with dynamic random population topology

A dynamic history-driven evolutionary algorithm

A differential evolution box-covering algorithm for fractal dimension on complex networks

Using harmony search with multiple pitch adjustment operators for the portfolio selection problem

An examination of synchronisation in Artificial Gene Regulatory Networks

A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information

An adaptive PSO based on motivation mechanism and acceleration restraint operator

Towards better generalization in Pittsburgh learning classifier systems

GP-based kernel evolution for L2-Regularization Networks

Transformation of input space using statistical moments: EA-based approach

An improved bilevel evolutionary algorithm based on Quadratic Approximations

The Enhanced Vector of Convergence for Particle Swarm Optimization based on constrict factor

An immune network approach to learning qualitative models of biological pathways

Smart hybrid Genetic Algorithms in the bandwidth optimization of a PIFA antenna

A hybrid surrogate based algorithm (HSBA) to solve computationally expensive optimization problems

Anomaly detection in crowded scenes using genetic programming

Intelligent search optimized edge potential function (EPF) approach to synthetic aperture radar (SAR) scene matching

Memetic algorithm for sorting unsigned permutations by reversals

Dynamic multi-objective optimization using charged vector evaluated particle swarm optimization

Evolutionary many-objective optimization by MO-NSGA-II with enhanced mating selection

A study on Non-Correspondence in Spread between objective space and design variable space for trajectory designing optimization problem

A cooperative honey bee mating algorithm and its application in multi-threshold image segmentation

An dynamic-weighted collaborative filtering approach to address sparsity and adaptivity issues

A graph-based Particle Swarm Optimisation approach to QoS-aware web service composition and selection

Multi-objective optimization model based on steady degree for teaching building evacuation

When artists met EvoSpace-i

A niching two-layered differential evolution with self-adaptive control parameters

A locally weighted metamodel for pre-selection in evolutionary optimization

A simplified glowworm swarm optimization algorithm

Quantum-inspired evolutionary algorithm with linkage learning

An intelligent ant colony optimization for community detection in complex networks

Estimation of Distribution Algorithms based Unmanned Aerial Vehicle path planner using a new coordinate system

MOEA/D with Tabu Search for multiobjective permutation flow shop scheduling problems

Optimal sizing of DGs and storage for microgrid with interruptible load using improved NSGA-II

Knowledge Acquisition issues for intelligent route optimization by evolutionary computation

A Genetic Programming approach to distributed QoS-aware web service composition

Application of the MOAA for the optimization of CORAIL assemblies for nuclear reactors

Adaptive Fireworks Algorithm

GEAS: A GA-ES-mixed algorithm for parameterized optimization problems — Using CLS problem as an example

Effective decomposition of large-scale separable continuous functions for cooperative co-evolutionary algorithms

Creating stock trading rules using graph-based estimation of distribution algorithm

A hybrid approach based on genetic algorithms for solving the Clustered Vehicle Routing Problem

Grammar-Based Genetic Programming with Bayesian network

Evolutionary semi-supervised learning with swarm intelligence

A route planning strategy for the automatic garment cutter based on genetic algorithm

Using estimation of distribution algorithm to coordinate decentralized learning automata for meta-task scheduling

A fast restarting particle swarm optimizer

A new self-learning TLBO algorithm for RBF neural modelling of batteries in electric vehicles

Phase transition Particle Swarm Optimization

Dimensions cooperate by Euclidean metric in Particle Swarm Optimization

Unsupervised clustering and multi-optima evolutionary search

A uncultivated wolf pack algorithm for high-dimensional functions and its application in parameters optimization of PID controller

Is MO-CMA-ES superior to NSGA-II for the evolution of multi-objective neuro-controllers?

On the inference of deterministic chaos: Evolutionary algorithm and metabolic P system approaches

Extending distance-based ranking models in estimation of distribution algorithms

A new method and application for controlling the steady-state probability distributions of probabilistic Boolean networks

A cultural algorithm for spatial forest harvest scheduling

Cultural learning for Multi-Agent System and its application to fault management

Particle swarm convergence: An empirical investigation

Sensitivity analysis of Parallel Cell Coordinate System in Many-objective Particle Swarm Optimization

Evolutionary algorithms dynamics and its hidden complex network structures

A theoretical assessment of solution quality in evolutionary algorithms for the knapsack problem

Multi-dimensional scaling and MODELLER-based evolutionary algorithms for protein model refinement

Unsupervised learning for edge detection using Genetic Programming

Bee colony algorithm for the routing of guided automated battery-operated electric vehicles in personal rapid transit systems

Parameter optimization by means of statistical quality guides in F-Race

A cooperative approach between metaheuristic and branch-and-price for the team orienteering problem with time windows

Linear sparse arrays designed by dynamic constrained multi-objective evolutionary algorithm

A new strategy for finding good local guides in MOPSO

Multiobjective test problems with complicated Pareto fronts: Difficulties in degeneracy

Distributed wireless sensor scheduling for multi-target tracking based on matrix-coded parallel genetic algorithm

A RFID network design methodology for decision problem in health care

A novel hybrid swarm based approach for curriculum based course timetabling problem

Adaptive particle swarm optimization with variable relocation for dynamic optimization problems

The sampling-and-learning framework: A statistical view of evolutionary algorithms

Memetic algorithm with adaptive local search depth for large scale global optimization

Generalized classifier system: Evolving classifiers with cyclic conditions

An ant colony optimization algorithm for multi-objective clustering in mobile ad hoc networks

A decomposition-based algorithm for dynamic economic dispatch problems

Minimizing makespan for a no-wait flowshop using tabu mechanism improved iterated greedy algorithm

Comparison of random number generators in Particle Swarm Optimization algorithm

Particle Swarm Optimization with population adaptation

Effect of pseudo gradient on differential evolutionary for global numerical optimization

DMOPSO: Dual multi-objective particle swarm optimization

Perturbing event logs to identify cost reduction opportunities: A genetic algorithm-based approach

Automatic evolutionary medical image segmentation using deformable models

Protein folding estimation using Paired-Bacteria Optimizer

A Differential Evolution with Replacement Strategy for Real-Parameter Numerical Optimization

A first attempt on evolutionary prototype reduction for nearest neighbor one-class classification

Multiobjective evolutionary algorithm portfolio: Choosing suitable algorithm for multiobjective optimization problem

Hyper-heuristics with penalty parameter adaptation for constrained optimization

An archive based particle swarm optimisation for feature selection in classification

Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines

Differential evolution with a constraint consensus mutation for solving optimization problems

A modular approach for query spotting in document images and its optimization using genetic algorithms

Memetic differential evolution based on fitness Euclidean-distance ratio

A self-adaptive group search optimizer with Elitist strategy

A novel Differential Evolution (DE) algorithm for multi-objective optimization

Optimization based on adaptive hinging hyperplanes and genetic algorithm

Particle swarm optimization for Integrated Yard Truck Scheduling and Storage Allocation Problem

Interactive and non-interactive hybrid immigrants schemes for ant algorithms in dynamic environments

Elitism-based immigrants for ant colony optimization in dynamic environments: Adapting the replacement rate

Comparing crossover operators in Neuro-Evolution with crowd simulations

Evaluating the performance of Group Counseling Optimizer on CEC 2014 problems for Computational Expensive Optimization

Dynamic search in fireworks algorithm

Multi-objective transportation network design: Accelerating search by applying ε-NSGAII

Evolutionary multiobjective optimization in dynamic environments: A set of novel benchmark functions

Evolutionary clustering with differential evolution

Partial opposition-based adaptive differential evolution algorithms: Evaluation on the CEC 2014 benchmark set for real-parameter optimization

A combined MapReduce-windowing two-level parallel scheme for evolutionary prototype generation

An improved Two Archive Algorithm for Many-Objective optimization

Combining multipopulation evolutionary algorithms with memory for dynamic optimization problems

An improved ant colony algorithm for winner determination in multi-attribute combinatorial reverse auction

Integrating fuzzy integral and heuristic search for unit micromanagement in RTS games

A social-evolutionary approach to compose a similarity function used on event recommendation

An improved genetic algorithm for dynamic shortest path problems

Carry trade portfolio optimization using particle swarm optimization

∗Tego — A framework for adversarial planning

Applying evolutionary computation for evolving ontologies

Cost-sensitive texture classification

A levy flight-based hybrid artificial bee colony algorithm for solving numerical optimization problems

Agile earth observing satellites mission planning using genetic algorithm based on high quality initial solutions

Lookup table partial reconfiguration for an evolvable hardware classifier system

A parallel Lagrangian-ACO heuristic for project scheduling

Differential Evolution algorithm applied to non-stationary bandit problem

A novel genetic algorithm considering measures and phrases for generating melody

Differential Evolution strategy based on the constraint of fitness values classification

Feature Selection based on manifold-learning with dynamic constraint handling differential evolution

Similarity- and reliability-assisted fitness estimation for particle swarm optimization of expensive problems

The Monarchy Driven Optimization technique

Evolutionary path planning of a data mule in wireless sensor network by using shortcuts

Compensate information from multimodal dynamic landscapes: An anti-pathology cooperative coevolutionary algorithm

Binary bacterial foraging optimization for 0/1 knapsack problem

Analysis of fitness noise in particle swarm optimization: From robotic learning to benchmark functions

Metaheuristics for the 3D bin packing problem in the steel industry

Evaluating the Mean-Variance Mapping Optimization on the IEEE-CEC 2014 test suite

Solving the IEEE-CEC 2014 expensive optimization test problems by using single-particle MVMO

A modified bat algorithm to predict Protein-Protein Interaction network

A clustering based multiobjective evolutionary algorithm

Two step evolution strategy for device motif BSIM model parameter extraction

Artificial Bee Colony induced multi-objective optimization in presence of noise

A comparison study of binary multi-objective Particle Swarm Optimization approaches for test case selection

A discrete artificial bee colony algorithm for the assignment and parallel machine scheduling problem in DYO paint company

A discrete artificial bee colony algorithm for the Economic Lot Scheduling problem with returns

Multi-objective differential evolution algorithm based on fast sorting and a novel constraints handling technique

Differential evolution with a species-based repair strategy for constrained optimization

Heuristic optimization for software project management with impacts of team efficiency

Niching-based Self-adaptive Ensemble DE with MMTS for solving dynamic optimization problems

Differential Evolution assisted by a surrogate model for bilevel programming problems

Evolving multiplication as emergent behavior in cellular automata using conditionally matching rules

A globally diversifiedisland model PGA for multimodal optimization

A mutation and crossover adaptation mechanism for differential evolution algorithm

Fuzzy multiobjective differential evolution using performance metrics feedback

Solving the Multidimensional Knapsack Problem using a CUDA accelerated PSO

Optimization of power flow with energy storage using genetic algorithms

Influence of regions on the memetic algorithm for the CEC'2014 Special Session on Real-Parameter Single Objective Optimisation

Artificial Bee Colony for workflow scheduling

Control of numeric and symbolic parameters with a hybrid scheme based on fuzzy logic and hyper-heuristics

Use EMO to protect sensitive knowledge in association rule mining by removing items

MOPSOhv: A new hypervolume-based multi-objective particle swarm optimizer

Black-hole PSO and SNO for electromagnetic optimization

GAMI-CRM: Using de novo motif inference to detect cis-regulatory modules

A new CSP graph-based representation to resource-constrained project scheduling problem

A comparison of multi-objective evolutionary algorithms for the ontology meta-matching problem

The effect of different local search algorithms on the performance of multi-objective optimizers

Free Lunch for optimisation under the universal distribution

Generating lambda term individuals in typed genetic programming using forgetful A∗

Online objective reduction for many-objective optimization problems

Real-parameter optimization with OptBees

Selecting the optimal EEG electrode positions for a cognitive task using an Artificial Bee Colony with Adaptive Scale Factor optimization algorithm

Co-operation of Biology Related Algorithms meta-heuristic in ANN-based classifiers design

Multi-objective evolutionary recurrent neural network ensemble for prediction of computational fluid dynamic simulations

A comparison of neural networks and physics models as motion simulators for simple robotic evolution

A topological niching covariance matrix adaptation for multimodal optimization

Evolutionary clustering algorithm for community detection using graph-based information

Scientific algorithms for the Car Renter Salesman Problem

Applying conversion matrix to robots for imitating motion using genetic algorithms

Bandits attack function optimization

Network on Chip optimization based on surrogate model assisted evolutionary algorithms

Task allocation under communication constraints using motivated particle swarm optimization

Lion algorithm for standard and large scale bilinear system identification: A global optimization based on Lion's social behavior

A self-adaptive evolutionary approach to the evolution of aesthetic maps for a RTS game

Wave height quantification using land based seismic data with grammatical evolution

TURAN: Evolving non-deterministic players for the iterated prisoner's dilemma

Optimization of combinational logic circuits through decomposition of truth table and evolution of sub-circuits

TraDE: Training device selection via multi-objective optimization

Ensemble Bayesian Model Averaging in Genetic Programming

Evolving a fuzzy goal-driven strategy for the game of Geister: An exercise in teaching computational intelligence

A Multiple Reference Point-based evolutionary algorithm for dynamic multi-objective optimization with undetectable changes

Evolutionary community detection in social networks

Family bootstrapping: A genetic transfer learning approach for onsetting the evolution for a set of related robotic tasks

A Feature-based analysis on the impact of linear constraints for ε-constrained differential evolution

Trading-off simulation fidelity and optimization accuracy in air-traffic experiments using differential evolution

Cooperation Mechanism for Distributed resource scheduling through artificial bee colony based self-organized scheduling system

Designing reusable metaheuristic methods: A semi-automated approach

A progressive random walk algorithm for sampling continuous fitness landscapes

Analyzing prehistoric hunter behavior with cultural algorithms

Experiments in program synthesis with grammatical evolution: A focus on Integer Sorting

Identifying and exploiting the scale of a search space in differential evolution

Swarm/evolutionary intelligence for agent-based social simulation

A constrained multi-objective surrogate-based optimization algorithm

Optimization algorithm for rectangle packing problem based on varied-factor genetic algorithm and lowest front-line strategy

Parallelization of Information Set Monte Carlo Tree Search

Enhancing relevance re-ranking using nature-inspired meta-heuristic optimization algorithms

An analysis of the automatic adaptation of the crossover rate in differential evolution

Multi-view clustering of web documents using multi-objective genetic algorithm

Adaptive Inflationary Differential Evolution

Graph centrality measures and the robustness of cooperation

Can deterministic chaos improve differential evolution for the linear ordering problem?

Fireworks algorithm with differential mutation for solving the CEC 2014 competition problems

Genetic algorithm with self-adaptive mutation controlled by chromosome similarity

MODEL: Multi-objective differential evolution with leadership enhancement

Genotype coding, diversity, and dynamic environments: A study on an evolutionary neural network multi-agent system

An evolutionary algorithm based on Covariance Matrix Leaning and Searching Preference for solving CEC 2014 benchmark problems

Integrating user preferences and decomposition methods for many-objective optimization

A new self-adaptive PSO based on the identification of planar regions

Behavioral learning of aircraft landing sequencing using a society of Probabilistic Finite state Machines

An experimental analysis of evolutionary algorithms for the three-objective oil derivatives distribution problem

SO-MODS: Optimization for high dimensional computationally expensive multi-modal functions with surrogate search

PSO-based evacuation simulation framework

Gaussian adaptation based parameter adaptation for differential evolution

Runtime analysis of selection hyper-heuristics with classical learning mechanisms

Network path optimization under dynamic conditions

A genetic programming-based hyper-heuristic approach for storage location assignment problem

A cascaded evolutionary multi-objective optimization for solving the unbiased universal electric motor family problem

Micro-differential evolution with vectorized random mutation factor

A growing partitional clustering based on particle swarm optimization

A parallel evolutionary solution for the inverse kinematics of generic robotic manipulators

A novel evaluation function for LT codes degree distribution optimization

Online knowledge-based evolutionary multi-objective optimization

Confidence-based ant random walks

Many-objective evolutionary computation for optimization of separated-flow control using a DBD plasma actuator

Feature extraction based on trimmed complex network representation for metabolomic data classification

Composite SaaS scaling in Cloud computing using a hybrid genetic algorithm

Primary study on feedback controlled differential evolution

Cultural Algorithms applied to the evolution of robotic soccer team tactics: A novel perspective

Diversity preservation with hybrid recombination for evolutionary multiobjective optimization

A review of population initialization techniques for evolutionary algorithms

Reordering dimensions for Radial Visualization of multidimensional data — A Genetic Algorithms approach

Applying LCS to affective image classification in spatial-frequency domain

Non-uniform mapping in real-coded genetic algorithms

Model representation and cooperative coevolution for finite-state machine evolution

An online evolutionary rule learning algorithm with incremental attribute discretization

Effects of population initialization on differential evolution for large scale optimization

Deep Boltzmann Machine for evolutionary agents of Mario AI

Differential evolution with rotation-invariant mutation and competing-strategies adaptation

A genetic algorithm for the minimum latency pickup and delivery problem

Evolved neural networks for HIV-1 co-receptor identification

Differential evolution with combined variants for dynamic constrained optimization

Soft computing techniques based optimal tuning of virtual feedback PID controller for chemical tank reactor

An evolutionary approach for combining results of recommender systems techniques based on Collaborative Filtering

Controlled restart in differential evolution applied to CEC2014 benchmark functions

Encodings for Evolutionary Algorithms in smart buildings with energy management systems

A clustering-based approach for exploring sequences of compiler optimizations

Genetic programming based activity recognition on a smartphone sensory data benchmark

Self-adaptive differential evolution with local search chains for real-parameter single-objective optimization

Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem

Accelerating ant colony optimization-based edge detection on the GPU using CUDA

A novel hybridization of opposition-based learning and cooperative co-evolutionary for large-scale optimization

Pareto simplified swarm optimization for grid-computing reliability and service makspan in grid-RMS

On the performance of classification algorithms for learning Pareto-dominance relations

Visual examination of the behavior of EMO algorithms for many-objective optimization with many decision variables

Effects of ensemble action selection on the evolution of iterated prisoner's dilemma game strategies

Web bots detection using Particle Swarm Optimization based clustering

A multi-objective evolutionary algorithm based on decomposition for constrained multi-objective optimization

The structure of a probabilistic 2-state finite transducer representation for Prisoner's Dilemma

The Coupled EigenAnt algorithm for shortest path problems

GSCA: Reconstructing biological pathway topologies using a cultural algorithms approach

A Lagrangian and surrogate information enhanced tabu search for the MMKP

A proposal on analysis support system based on association rule analysis for non-dominated solutions

A social metrics based process model on complex social system

Analysis on global convergence and time complexity of fireworks algorithm

Locality-sensitive hashing based multiobjective memetic algorithm for dynamic pickup and delivery problems

Particle swarm optimization for integrity monitoring in BDS/DR based railway train positioning

Evolving machine-specific dispatching rules for a two-machine job shop using genetic programming

Markov chain analysis of evolution strategies on a linear constraint optimization problem

Filter based backward elimination in wrapper based PSO for feature selection in classification

A hybrid discrete particle swarm optimisation method for grid computation scheduling

Genetic algorithms based feature combination for salient object detection, for autonomously identified image domain types

Evolutionary algorithms applied to likelihood function maximization during poisson, logistic, and Cox proportional hazards regression analysis

Table of contents

2013 IEEE Congress on Evolutionary Computation

2012 IEEE Congress on Evolutionary Computation

2011 IEEE Congress of Evolutionary Computation (CEC)

IEEE Congress on Evolutionary Computation

2009 IEEE Congress on Evolutionary Computation

2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)

2007 IEEE Congress on Evolutionary Computation

2006 IEEE International Conference on Evolutionary Computation

2005 IEEE Congress on Evolutionary Computation

Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753)

The 2003 Congress on Evolutionary Computation, 2003. CEC '03.

Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600)

Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546)

Proceedings of the 2000 Congress on Evolutionary Computation. CEC00 (Cat. No.00TH8512)

Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406)

Maximising axiomatization coverage and minimizing regression testing time

Content Provider	IEEE Xplore Digital Library
Author	Wagner, M.
Copyright Year	2014
Description	Author affiliation: Optimisation & Logistics Group, Univ. of Adelaide, Adelaide, SA, Australia (Wagner, M.)
Abstract	The correctness of program verification systems is of great importance, as they are used to formally prove that safety- and security-critical programs follow their specification. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiomatization, which captures the semantics of the target program language. We present a framework for the maximization of the proportion of the axiomatization that is used (“covered”) during testing of the verification tool. The diverse set of test cases found not only increases the trust in the verification system, but it can also be used to reduce the time needed for regression testing.
Starting Page	2885
Ending Page	2892
File Size	1106029
Page Count	8
File Format	PDF
e-ISBN	9781479914883
DOI	10.1109/CEC.2014.6900324
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2014-07-06
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Testing Java Semantics Calculus Optimization Evolutionary computation Complexity theory
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in