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

Title Page
Article: icsews13cmsbseforeword-fm000-p (type: Frontmatter) doi:

Foreword
Article: icsews13cmsbseforeword-fm001-p (type: Frontmatter) doi:

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 (type: Full paper (6 pages)) 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 (type: Short paper (4 pages)) 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 (type: Short paper (4 pages)) doi:

Efficient Probabilistic Testing of Model Transformations using Search
Louis M. Rose and Simon Poulding
(University of York, UK)
Article: icsews13cmsbse-id8-p (type: Full paper (6 pages)) 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 (type: Full paper (6 pages)) 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 (type: Full paper (6 pages)) 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 (type: Full paper (6 pages)) 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 (type: Full paper (6 pages)) 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 (type: Short paper (4 pages)) doi:

Whither (Away) Software Engineers in SBSE?
Christopher L. Simons
(University of the West of England, UK)
Article: icsews13cmsbse-id9-p (type: Short paper (2 pages)) 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 (type: Short paper (4 pages)) 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 (type: Full paper (6 pages)) 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 (type: Full paper (6 pages)) 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 (type: Short paper (4 pages)) doi: