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

✍ Scribed by Westley Weimer (auth.), Günther Ruhe, Yuanyuan Zhang (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2013
• Tongue: English
• Leaves: 339
• Series: Lecture Notes in Computer Science 8084
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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 -

✦ Subjects

Software Engineering; Algorithm Analysis and Problem Complexity; Programming Techniques; Computation by Abstract Devices; Programming Languages, Compilers, Interpreters; Pattern Recognition