Description |
1 online resource (xvi, 326 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 8084 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8084.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Keynote Addresses. Advances in Automated Program Repair and a Call to Arms / Westley Weimer -- Some Recent Work on Multi-objective Approaches to Search-Based Software Engineering / Xin Yao -- Tutorial. Cloud Computing and SBSE / David R. White -- Full Papers. On the Application of the Multi-Evolutionary and Coupling-Based Approach with Different Aspect-Class Integration Testing Strategies / Wesley Klewerton Guez Assunção, Thelma Elita Colanzi and Silvia Regina Vergilio -- An Experimental Study on Incremental Search-Based Software Engineering / Márcio de Oliveira Barros -- Competitive Coevolutionary Code-Smells Detection / Mohamed Boussaa [and others] -- A Multi-objective Genetic Algorithm to Rank State-Based Test Cases / Lionel Briand, Yvan Labiche and Kathy Chen -- Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty / Erik M. Fredericks, Andres J. Ramirez and Betty H.C. Cheng -- Model Refactoring Using Interactive Genetic Algorithm / Adnane Ghannem, Ghizlane El Boussaidi and Marouane Kessentini |
|
A Fine-Grained Parallel Multi-objective Test Case Prioritization on GPU / Zheng Li [and others] -- Search-Based Refactoring Detection Using Software Metrics Variation / Rim Mahouachi, Marouane Kessentini and Mel Ó Cinnéide -- Automated Model-in-the-Loop Testing of Continuous Controllers Using Search / Reza Matinnejad [and others] -- Predicting Regression Test Failures Using Genetic Algorithm-Selected Dynamic Performance Analysis Metrics / Michael Mayo and Simon Spacey -- A Recoverable Robust Approach for the Next Release Problem / Matheus Henrique Esteves Paixão and Jerffeson Teixeira de Souza -- A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches / Antônio Mauricio Pitangueira, Rita Suzana P. Maciel and Márcio de Oliveira Barros -- Regression Testing for Model Transformations: A Multi-objective Approach / Jeffery Shelburg, Marouane Kessentini and Daniel R. Tauritz -- Provably Optimal and Human-Competitive Results in SBSE for Spectrum Based Fault Localisation / Xiaoyuan Xie [and others] |
|
Short Papers. On the Synergy between Search-Based and Search-Driven Software Engineering / Colin Atkinson, Marcus Kessel and Marcus Schumacher -- Preference-Based Many-Objective Evolutionary Testing Generates Harder Test Cases for Autonomous Agents / Sabrine Kalboussi [and others] -- Efficient Subdomains for Random Testing / Matthew Patrick [and others] -- Applying Genetic Improvement to MiniSAT / Justyna Petke, William B. Langdon and Mark Harman -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs / Christopher M. Poskitt and Simon Poulding -- Planning Global Software Development Projects Using Genetic Algorithms / Sriharsha Vathsavayi [and others] -- Challenge Track Papers. What Can a Big Program Teach Us about Optimization? / Márcio de Oliveira Barros and Fábio de Almeida Farzat -- eCrash: An Empirical Study on the Apache Ant Project / Ana Filipa Nogueira, José Carlos Bregieiro Ribeiro and Francisco Fernández de Vega |
|
Graduate Track Papers. A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines / Nesa Asoudeh and Yvan Labiche -- An Approach to Test Set Generation for Pair-Wise Testing Using Genetic Algorithms / Priti Bansal [and others] -- Generation of Tests for Programming Challenge Tasks Using Helper-Objectives / Arina Buzdalova, Maxim Buzdalov and Vladimir Parfenov -- The Emergence of Useful Bias in Self-focusing Genetic Programming for Software Optimisation / Brendan Cody-Kenny and Stephen Barrett -- Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems / Dionysios Efstathiou [and others] -- Applying Search in an Automatic Contract-Based Testing Tool / Alexey Kolesnichenko, Christopher M. Poskitt and Bertrand Meyer |
Summary |
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 |
Bibliography |
Includes bibliographical references and index |
Notes |
English |
|
Online resource; title from PDF title page (SpringerLink, viewed October 1, 2013) |
In |
Springer eBooks |
Subject |
Software engineering -- Congresses
|
|
Software
|
|
software.
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Ruhe, Günther, editor
|
|
Zhang, Yuanyuan (Software engineer), editor.
|
ISBN |
9783642397424 |
|
3642397425 |
|
3642397417 |
|
9783642397417 |
|