Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.

Keynote Addresses.- Advances in Automated Program Repair and a Call to Arms.- Some Recent Work on Multi-objective Approaches to Search-Based Software Engineering.- Tutorial.- Cloud Computing and SBSE.-Full Papers.- On the Application of the Multi-Evolutionary and Coupling-Based.- Approach with Different Aspect-Class Integration Testing Strategies.- An Experimental Study on Incremental Search-Based Software Engineering.- Competitive Coevolutionary Code-Smells Detection.- A Multi-objective Genetic Algorithm to Rank State-Based Test Cases.- Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty.- Model Refactoring Using Interactive Genetic Algorithm.- A Fine-Grained Parallel Multi-objective Test Case Prioritization on GPU.- Search-Based Refactoring Detection Using Software Metrics Variation.- Automated Model-in-the-Loop Testing of Continuous Controllers Using Search.- Predicting Regression Test Failures Using Genetic Algorithm-Selected Dynamic Performance Analysis Metrics.- A Recoverable Robust Approach for the Next Release Problem.- A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approache.- Regression Testing for Model Transformations: A Multi-objective Approach.- Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation.- Short Papers.- On the Synergy between Search-Based and Search-Driven Software Engineering.- Preference-Based Many-Objective Evolutionary Testing Generates Harder Test Cases for Autonomous Agents.- Efficient Subdomains for Random Testing.- Applying Genetic Improvement to MiniSAT.- Using Contracts to Guide the Search-Based Verification of Concurrent Programs.- Planning Global Software Development Projects Using Genetic Algorithms.- Challenge Track Papers.- What Can a Big Program Teach Us about Optimization?.- eCrash: An Empirical Study on the Apache Ant Project.- Graduate Track Papers.- A Multi-objective Genetic Algorithm for Generating Test Suitesfrom Extended Finite State Machines.- An Approach to Test Set Generation for Pair-Wise Testing Using Genetic Algorithms.- Generation of Tests for Programming Challenge Tasks Using Helper-Objectives.- The Emergence of Useful Bias in Self-focusing Genetic Programming for Software Optimisation.- Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems.- Applying Search in an Automatic Contract-Based Testing Tool.

This book constitutes the refereed proceedings of the Fifth International Symposium on Search-Based Software Engineering, SSBSE 2013, held in St. Petersburg, Russia. The 14 revised full papers, 6 revised short papers, and 6 papers of the graduate track presented together with 2 keynotes, 2 challenge track papers and 1 tutorial paper were carefully reviewed and selected from 50 initial submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com