LEADER 05684nam 22007695 450 001 996465582003316 005 20200630031311.0 010 $a3-642-33119-X 024 7 $a10.1007/978-3-642-33119-0 035 $a(CKB)3400000000086222 035 $a(SSID)ssj0000767591 035 $a(PQKBManifestationID)11399926 035 $a(PQKBTitleCode)TC0000767591 035 $a(PQKBWorkID)10741484 035 $a(PQKB)11671113 035 $a(DE-He213)978-3-642-33119-0 035 $a(MiAaPQ)EBC3069851 035 $a(PPN)168323575 035 $a(EXLCZ)993400000000086222 100 $a20120907d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSearch Based Software Engineering$b[electronic resource] $eFourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings /$fedited by Gordon Fraser, Jerffeson Teixeira de Souza 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XVI, 293 p. 80 illus.) 225 1 $aProgramming and Software Engineering ;$v7515 300 $aInternational conference proceedings. 311 $a3-642-33118-1 320 $aIncludes bibliographical references and author index. 327 $aAdvances in Evolutionary Multi-objective Optimization -- SBSE Meets Software Maintenance: Achievements and Open Problems -- Tutorial: High Performance SBSE Using Commodity Graphics Cards -- Evolving Robust Networks for Systems-of-Systems -- On the Application of SAT Solvers to the Test Suite Minimization Problem -- Evaluating the Importance of Randomness in Search-Based Software Engineering -- Putting the Developer in-the-Loop: An Interactive GA for Software Re-modularization -- Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern -- Optimised Realistic Test Input Generation Using Web Services -- Improving Software Security Using Search-Based Refactoring -- Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems -- Testing of Concurrent Programs Using Genetic Algorithms -- Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study -- Searching for Pareto-optimal Randomised Algorithms. -- Automatically RELAXing a Goal Model to Cope with Uncertainty -- Boosting Search Based Testing by Using Constraint Based Testing -- Domain-Driven Reduction Optimization of Recovered Business Processes -- Evolving Human Competitive Spectra-Based Fault Localisation Techniques -- Applying Search Based Optimization to Software Product Line Architectures: Lessons Learned -- Problem-Specific Search Operators for Metaheuristic Software Architecture Design -- A Concept for an Interactive Search-Based Software Testing System -- A Search-Based Framework for Failure Reproduction -- Evolutionary Testing of PHP Web Applications with WETT. 330 $aThis book constitutes the refereed proceedings of the Fourth International Symposium on Search-Based Software Engineering, SSBSE 2012, held in Riva del Garda, Italy in collocation with the 28th IEEE International Conference on Software Maintenance. The 15 revised full papers, 3 revised short papers, and 2 papers of the graduate track presented together with 2 keynote talks and 1 tutorial paper were carefully reviewed and selected from 38 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. The papers present current research in all areas of Search Based Software Engineering, including theoretical work, research on SBSE applications, empirical studies, and reports on industrial experience. 410 0$aProgramming and Software Engineering ;$v7515 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputer programming 606 $aComputers 606 $aAlgorithms 606 $aPattern recognition 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 615 0$aSoftware engineering. 615 0$aOperating systems (Computers). 615 0$aComputer programming. 615 0$aComputers. 615 0$aAlgorithms. 615 0$aPattern recognition. 615 14$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aProgramming Techniques. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aPattern Recognition. 676 $a005.1 702 $aFraser$b Gordon$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTeixeira de Souza$b Jerffeson$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465582003316 996 $aSearch-based software engineering$92153522 997 $aUNISA