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

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. Front Matter....Pages - Advances in Automated Program Repair and a Call to Arms....Pages 1-3 Some Recent Work on Multi-objective Approaches to Search-Based Software Engineering....Pages 4-15 Cloud Computing and SBSE....Pages 16-18 On the Application of the Multi-Evolutionary and Coupling-Based Approach with Different Aspect-Class Integration Testing Strategies....Pages 19-33 An Experimental Study on Incremental Search-Based Software Engineering....Pages 34-49 Competitive Coevolutionary Code-Smells Detection....Pages 50-65 A Multi-objective Genetic Algorithm to Rank State-Based Test Cases....Pages 66-80 Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty....Pages 81-95 Model Refactoring Using Interactive Genetic Algorithm....Pages 96-110 A Fine-Grained Parallel Multi-objective Test Case Prioritization on GPU....Pages 111-125 Search-Based Refactoring Detection Using Software Metrics Variation....Pages 126-140 Automated Model-in-the-Loop Testing of Continuous Controllers Using Search....Pages 141-157 Predicting Regression Test Failures Using Genetic Algorithm-Selected Dynamic Performance Analysis Metrics....Pages 158-171 A Recoverable Robust Approach for the Next Release Problem....Pages 172-187 A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches....Pages 188-208 Regression Testing for Model Transformations: A Multi-objective Approach....Pages 209-223 Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation....Pages 224-238 On the Synergy between Search-Based and Search-Driven Software Engineering....Pages 239-244 Preference-Based Many-Objective Evolutionary Testing Generates Harder Test Cases for Autonomous Agents....Pages 245-250 Efficient Subdomains for Random Testing....Pages 251-256 Applying Genetic Improvement to MiniSAT....Pages 257-262 Using Contracts to Guide the Search-Based Verification of Concurrent Programs....Pages 263-268 Planning Global Software Development Projects Using Genetic Algorithms....Pages 269-274 What Can a Big Program Teach Us about Optimization?....Pages 275-281 eCrash: An Empirical Study on the Apache Ant Project....Pages 282-287 A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines....Pages 288-293 An Approach to Test Set Generation for Pair-Wise Testing Using Genetic Algorithms....Pages 294-299 Generation of Tests for Programming Challenge Tasks Using Helper-Objectives....Pages 300-305 The Emergence of Useful Bias in Self-focusing Genetic Programming for Software Optimisation....Pages 306-311 Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems....Pages 312-317 Applying Search in an Automatic Contract-Based Testing Tool....Pages 318-323 Back Matter....Pages -