GECCO 2008 Proceedings--Table of Contents

	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
	Posters

Papers
	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)

Posters
	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)