Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

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.