Main Page

Proceedings Table of Contents
Companion Table of Contents
Author Index

Track 1: Ant Colony Optimization, Swarm Intelligence, and Artificial Immune Systems
Track 2: Artificial Life, Evolutionary Robotics, Adaptive Behavior, Evolvable Hardware
Track 3: Bioinformatics and Computational Biology
Track 4: Coevolution
Track 5: Estimation of Distribution Algorithms
Track 6: Evolution Strategies, Evolutionary Programming
Track 7: Evolutionary Combinatorial Optimization
Track 8: Evolutionary Multiobjective Optimization
Track 9: Formal Theory
Track 10: Generative and Developmental Systems
Track 11: Genetic Algorithms
Track 12: Genetic Programming
Track 13: Genetics-Based Machine Learning and Learning Classifier Systems
Track 14: Real-World Application
Track 15: Search-based Software Engineering

Table of Contents

Track 15: Search-based Software Engineering

GECCO 2008 Main Proceedings Table of Contents



Searching for Liveness Property Violations in Concurrent Systems with ACO (Page 1727)
Enrique Alba (University of Málaga)
Francisco Chicano (University of Málaga)

Finding Deadlocks in Large Concurrent Java Programs Using Genetic Algorithms (Page 1735)
Enrique Alba (University of Málaga)
Francisco Chicano (University of Málaga)
Marco Ferreira (Instituto Politécnico de Leiria)
Juan Gomez-Pulido (University of Extremadura)

Empirical Analysis of a Genetic Algorithm-based Stress Test Technique (Page 1743)
Vahid Garousi (University of Calgary)

Avida-MDE: A Digital Evolution Approach to Generating Models of Adaptive Software Behavior (Page 1751)
Heather J. Goldsby (Michigan State University)
Betty H. C. Cheng (Michigan State University)

Handling Dynamic Data Structures in Search Based Testing (Page 1759)
Kiran Lakhotia (King's College London)
Mark Harman (King's College London)
Phil McMinn (University of Sheffield)

Fitness Calculation Approach for the Switch-Case Construct in Evolutionary Testing (Page 1767)
Yan Wang (Xidian University)
Zhiwen Bai (Xidian University)
Miao Zhang (Xidian University)
Wen Du (Xidian University)
Ying Qin (Xidian University)
Xiyang Liu (Xidian University)

Searching for Resource-Efficient Programs: Low-Power Pseudorandom Number Generators (Page 1775)
David R. White (University of York)
John Clark (University of York)
Jeremy Jacob (University of York)
Simon Poulding (University of York)

(Return to Top)


Strongly-Typed Genetic Programming and Purity Analysis: Input Domain Reduction for Evolutionary Testing Problems (Page 1783)
José Carlos Bregieiro Ribeiro (Polytechnic Institute of Leiria)
Mário Alberto Zenha-Rela (University of Coimbra)
Francisco Fernandéz de Vega (University of Extremadura)

Agent-based Support for Interactive Search in Conceptual Software Engineering Design (Page 1785)
Christopher L. Simons (University of the West of England)
Ian C. Parmee (University of the West of England)