Search Based Software Engineering

1. Front Matter

   PDF

2. Keynote Addresses

   1. Advances in Evolutionary Multi-objective Optimization

      • Kalyanmoy Deb

      Pages 1-26

   2. SBSE Meets Software Maintenance: Achievements and Open Problems

      • Massimiliano Di Penta

      Pages 27-28

3. Tutorials

   1. Tutorial: High Performance SBSE Using Commodity Graphics Cards

      • Simon Poulding

      Pages 29-29

4. Full Papers

   1. Evolving Robust Networks for Systems-of-Systems

      • Jonathan M. Aitken, Rob Alexander, Tim Kelly, Simon Poulding

      Pages 30-44

   2. On the Application of SAT Solvers to the Test Suite Minimization Problem

      • Franco Arito, Francisco Chicano, Enrique Alba

      Pages 45-59

   3. Evaluating the Importance of Randomness in Search-Based Software Engineering

      • Márcio de Oliveira Barros

      Pages 60-74

   4. Putting the Developer in-the-Loop: An Interactive GA for Software Re-modularization

      • Gabriele Bavota, Filomena Carnevale, Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto

      Pages 75-89

   5. Optimizing Threads Schedule Alignments to Expose the Interference Bug Pattern

      • Neelesh Bhattacharya, Olfat El-Mahi, Etienne Duclos, Giovanni Beltrame, Giuliano Antoniol, Sébastien Le Digabel et al.

      Pages 90-104

   6. Optimised Realistic Test Input Generation Using Web Services

      • Mustafa Bozkurt, Mark Harman

      Pages 105-120

   7. Improving Software Security Using Search-Based Refactoring

      • Shadi Ghaith, Mel Ó Cinnéide

      Pages 121-135

   8. Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems

      • Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand

      Pages 136-151

   9. Testing of Concurrent Programs Using Genetic Algorithms

      • Vendula Hrubá, Bohuslav Křena, Zdeněk Letko, Shmuel Ur, Tomáš Vojnar

      Pages 152-167

   10. Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study

       • Roberto Erick Lopez-Herrejon, José A. Galindo, David Benavides, Sergio Segura, Alexander Egyed

       Pages 168-182

   11. Searching for Pareto-optimal Randomised Algorithms

       • Alan G. Millard, David R. White, John A. Clark

       Pages 183-197

   12. Automatically RELAXing a Goal Model to Cope with Uncertainty

       • Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H. C. Cheng

       Pages 198-212

   13. Boosting Search Based Testing by Using Constraint Based Testing

       • Abdelilah Sakti, Yann-Gaël Guéhéneuc, Gilles Pesant

       Pages 213-227

   14. Domain-Driven Reduction Optimization of Recovered Business Processes

       • Alex Tomasi, Alessandro Marchetto, Chiara Di Francescomarino

       Pages 228-243

   15. Evolving Human Competitive Spectra-Based Fault Localisation Techniques

       • Shin Yoo

       Pages 244-258

5. Short Papers

   1. Applying Search Based Optimization to Software Product Line Architectures: Lessons Learned

      • Thelma Elita Colanzi, Silvia Regina Vergilio

      Pages 259-266

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.

• business process recovery
• evolutionary optimization
• genetic algorithms
• model-based software engineering
• systems of systems
• algorithm analysis and problem complexity

• Department of Computer Science, The University of Sheffield, Sheffield, UK

  Gordon Fraser

• Department of Research and Graduate Studies, State University of Ceara, Fortaleza, Brazil

  Jerffeson Teixeira de Souza

Policies and ethics