CMSBSE 2013 – Proceedings

2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE), May 20, 2013, San Francisco, CA, USA

1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)

Preface

Keynotes

Harnessing Evolutionary Computation to Enable Dynamically Adaptive Systems to Manage Uncertainty (Keynote)
Betty H. C. Cheng, Andres J. Ramirez, and Philip K. McKinley
(Michigan State University, USA)
Article: icsews13cmsbse-key1-p doi:

Testing

Testing Elastic Systems with Surrogate Models
Alessio Gambi, Waldemar Hummer, and Schahram Dustdar
(TU Vienna, Austria; University of Lugano, Switzerland)
Article: icsews13cmsbse-id6-p doi:

Searching for Models to Evaluate Software Technology
Francisco Gomes de Oliveira Neto, Robert Feldt, Richard Torkar, and Patricia D. L. Machado
(UFCG, Brazil; Chalmers, Sweden; Gothenburg University, Sweden)
Article: icsews13cmsbse-id10-p doi:

Efficient Probabilistic Testing of Model Transformations using Search
Louis M. Rose and Simon Poulding
(University of York, UK)
Article: icsews13cmsbse-id8-p doi:

Product Lines and Feature Models

Optimum Feature Selection in Software Product Lines: Let Your Model and Values Guide Your Search
Abdel Salam Sayyad, Joseph Ingram, Tim Menzies, and Hany Ammar
(West Virginia University, USA)
Article: icsews13cmsbse-id16-p doi:

Representation of Software Product Line Architectures for Search-Based Design
Thelma Elita Colanzi and Silvia Regina Vergilio
(UFPR, Brazil; UEM, Brazil)
Article: icsews13cmsbse-id4-p doi:

Bi-criteria Genetic Search for Adding New Features into an Existing Product Line
Reza Karimpour and Guenther Ruhe
(University of Calgary, Canada)
Article: icsews13cmsbse-id17-p doi:

Metrics on Feature Models to Optimize Configuration Adaptation at Run Time
Luis Emiliano Sanchez, Sabine Moisan, and Jean-Paul Rigault
(UNCPBA, Argentina; INRIA, France)
Article: icsews13cmsbse-id1-p doi:

Challenge Problems and Position Statements

Complementing Metaheuristic Search with Higher Abstraction Techniques
Frank R. Burton and Simon Poulding
(University of York, UK)
Article: icsews13cmsbse-id11-p doi:

Whither (Away) Software Engineers in SBSE?
Christopher L. Simons
(University of the West of England, UK)
Article: icsews13cmsbse-id9-p doi:

Searching Models, Modeling Search: On the Synergies of SBSE and MDE
Marouane Kessentini, Philip Langer, and Manuel Wimmer
(Missouri University of Science and Technology, USA; TU Vienna, Austria)
Article: icsews13cmsbse-id15-p doi:

Advanced Techniques

MOS: An Integrated Model-Based and Search-Based Testing Tool for Function Block Diagrams
Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, and Paul Pettersson
(Mälardalen University, Sweden; Swedish Institute of Computer Science, Sweden)
Article: icsews13cmsbse-id12-p doi:

Preference-Based Multi-objective Software Modelling
Mohamed W. Mkaouer, Marouane Kessentini, Slim Bechikh, and Daniel R. Tauritz
(Missouri University of Science and Technology, USA; University of Tunis, Tunisia)
Article: icsews13cmsbse-id13-p doi:

Effectively using Search-Based Software Engineering Techniques within Model Checking and Its Applications
Jeremy S. Bradbury, David Kelk, and Mark Green
(University of Ontario, Canada)
Article: icsews13cmsbse-id14-p doi: