Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings /
Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings / [electronic resource] :
edited by Gordon Fraser, Jerffeson Teixeira de Souza.
- 1st ed. 2012.
- XVI, 293 p. 80 illus. online resource.
- Programming and Software Engineering, 7515 2945-9168 ; .
- Programming and Software Engineering, 7515 .
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.
9783642331190
10.1007/978-3-642-33119-0 doi
Software engineering.
Operating systems (Computers).
Computer programming.
Computer science.
Algorithms.
Pattern recognition systems.
Software Engineering.
Operating Systems.
Programming Techniques.
Theory of Computation.
Algorithms.
Automated Pattern Recognition.
QA76.758
005.1
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.
9783642331190
10.1007/978-3-642-33119-0 doi
Software engineering.
Operating systems (Computers).
Computer programming.
Computer science.
Algorithms.
Pattern recognition systems.
Software Engineering.
Operating Systems.
Programming Techniques.
Theory of Computation.
Algorithms.
Automated Pattern Recognition.
QA76.758
005.1