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

ISBN-13: 9783642397417 / Angielski / Miękka / 2013 / 326 str.

Gunther Ruhe;Yuanyuan Zhang

Opis

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.

Spis treści

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.