000 05510nam a22006255i 4500
001 978-3-642-39742-4
003 DE-He213
005 20240730190417.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
072 7 _aUMZ
_2thema
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ünther Ruhe, Yuanyuan Zhang.
250 _a1st ed. 2013.
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 _aProgramming and Software Engineering,
_x2945-9168 ;
_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 Suitesfrom 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 _aSoftware engineering.
_94138
650 0 _aAlgorithms.
_93390
650 0 _aComputer programming.
_94169
650 0 _aComputer science.
_99832
650 0 _aCompilers (Computer programs).
_93350
650 0 _aPattern recognition systems.
_93953
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aAlgorithms.
_93390
650 2 4 _aProgramming Techniques.
_9142399
650 2 4 _aTheory of Computation.
_9142400
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aAutomated Pattern Recognition.
_931568
700 1 _aRuhe, Günther.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9142401
700 1 _aZhang, Yuanyuan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9142402
710 2 _aSpringerLink (Online service)
_9142403
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642397417
776 0 8 _iPrinted edition:
_z9783642397431
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v8084
_9142404
856 4 0 _uhttps://doi.org/10.1007/978-3-642-39742-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93240
_d93240