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

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 -