05684nam 22007695 450 99646558200331620200630031311.03-642-33119-X10.1007/978-3-642-33119-0(CKB)3400000000086222(SSID)ssj0000767591(PQKBManifestationID)11399926(PQKBTitleCode)TC0000767591(PQKBWorkID)10741484(PQKB)11671113(DE-He213)978-3-642-33119-0(MiAaPQ)EBC3069851(PPN)168323575(EXLCZ)99340000000008622220120907d2012 u| 0engurnn|008mamaatxtccrSearch Based Software Engineering[electronic resource] Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings /edited by Gordon Fraser, Jerffeson Teixeira de Souza1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XVI, 293 p. 80 illus.) Programming and Software Engineering ;7515International conference proceedings.3-642-33118-1 Includes bibliographical references and author index.Advances 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.This 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.Programming and Software Engineering ;7515Software engineeringOperating systems (Computers)Computer programmingComputersAlgorithmsPattern recognitionSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Pattern Recognitionhttps://scigraph.springernature.com/ontologies/product-market-codes/I2203XSoftware engineering.Operating systems (Computers).Computer programming.Computers.Algorithms.Pattern recognition.Software Engineering.Operating Systems.Programming Techniques.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Pattern Recognition.005.1Fraser Gordonedthttp://id.loc.gov/vocabulary/relators/edtTeixeira de Souza Jerffesonedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465582003316Search-based software engineering2153522UNISA