000 05219nam a22005895i 4500
001 978-3-642-39742-4
003 DE-He213
005 20200420221301.0
007 cr nn 008mamaa
008 130816s2013 gw | s |||| 0|eng d
020 _a9783642397424
_9978-3-642-39742-4
024 7 _a10.1007/978-3-642-39742-4
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aSearch Based Software Engineering
_h[electronic resource] :
_b5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /
_cedited by G�unther Ruhe, Yuanyuan Zhang.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXVI, 326 p. 83 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8084
505 0 _aKeynote 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.
520 _aThis 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.
650 0 _aComputer science.
650 0 _aComputer programming.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aComputers.
650 0 _aAlgorithms.
650 0 _aPattern recognition.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aProgramming Techniques.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aPattern Recognition.
700 1 _aRuhe, G�unther.
_eeditor.
700 1 _aZhang, Yuanyuan.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642397417
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8084
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-39742-4
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c53204
_d53204