Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
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.
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 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.