Vai al contenuto principale della pagina
Titolo: | Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / / edited by Günther Ruhe, Yuanyuan Zhang |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Edizione: | 1st ed. 2013. |
Descrizione fisica: | 1 online resource (XVI, 326 p. 83 illus.) |
Disciplina: | 005.1 |
Soggetto topico: | Software engineering |
Algorithms | |
Computer programming | |
Computers | |
Programming languages (Electronic computers) | |
Pattern recognition | |
Software Engineering | |
Algorithm Analysis and Problem Complexity | |
Programming Techniques | |
Computation by Abstract Devices | |
Programming Languages, Compilers, Interpreters | |
Pattern Recognition | |
Soggetto genere / forma: | Conference proceedings. |
Persona (resp. second.): | RuheGünther |
ZhangYuanyuan | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references and author index. |
Nota di contenuto: | 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. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Search-Based Software Engineering |
ISBN: | 3-642-39742-5 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910484843903321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |