Search Based Software Engineering: 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

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 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?.- An Empirical Study on the Apache Ant Project.- Graduate Track Papers.- A Multi-objective Genetic Algorithm for Generating Test Suites from 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.