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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ruhe, Günther (Επιμελητής έκδοσης), Zhang, Yuanyuan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 8084
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computers.; Algorithms.; Pattern recognition.; Computer Science.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Programming Techniques.; Computation by Abstract Devices.; Programming Languages, Compilers, Interpreters.; Pattern Recognition.

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...

Πίνακας περιεχομένων:

• 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.