CMSBSE 2013 – Proceedings

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)


@InProceedings{CMSBSE13p1, author = {Betty H. C. Cheng and Andres J. Ramirez and Philip K. McKinley}, title = {Harnessing Evolutionary Computation to Enable Dynamically Adaptive Systems to Manage Uncertainty (Keynote)}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, }

Modelling and Search: Efficient, Practical, and Innovative Approaches to Software Engineering (Invited Tutorial)
Simon Poulding
(University of York, UK)


@InProceedings{CMSBSE13p7, author = {Simon Poulding}, title = {Modelling and Search: Efficient, Practical, and Innovative Approaches to Software Engineering (Invited Tutorial)}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2013}, }

Testing

Testing Elastic Systems with Surrogate Models
Alessio Gambi, Waldemar Hummer, and Schahram Dustdar
(TU Vienna, Austria; University of Lugano, Switzerland)


@InProceedings{CMSBSE13p9, author = {Alessio Gambi and Waldemar Hummer and Schahram Dustdar}, title = {Testing Elastic Systems with Surrogate Models}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {9-8}, doi = {}, year = {2013}, }

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)


@InProceedings{CMSBSE13p13, author = {Francisco Gomes de Oliveira Neto and Robert Feldt and Richard Torkar and Patricia D. L. Machado}, title = {Searching for Models to Evaluate Software Technology}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, }

Efficient Probabilistic Testing of Model Transformations using Search
Louis M. Rose and Simon Poulding
(University of York, UK)


@InProceedings{CMSBSE13p17, author = {Louis M. Rose and Simon Poulding}, title = {Efficient Probabilistic Testing of Model Transformations using Search}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {17-16}, doi = {}, year = {2013}, }

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)


@InProceedings{CMSBSE13p23, author = {Abdel Salam Sayyad and Joseph Ingram and Tim Menzies and Hany Ammar}, title = {Optimum Feature Selection in Software Product Lines: Let Your Model and Values Guide Your Search}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {23-22}, doi = {}, year = {2013}, }

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


@InProceedings{CMSBSE13p29, author = {Thelma Elita Colanzi and Silvia Regina Vergilio}, title = {Representation of Software Product Line Architectures for Search-Based Design}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {29-28}, doi = {}, year = {2013}, }

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


@InProceedings{CMSBSE13p35, author = {Reza Karimpour and Guenther Ruhe}, title = {Bi-criteria Genetic Search for Adding New Features into an Existing Product Line}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {35-34}, doi = {}, year = {2013}, }

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


@InProceedings{CMSBSE13p41, author = {Luis Emiliano Sanchez and Sabine Moisan and Jean-Paul Rigault}, title = {Metrics on Feature Models to Optimize Configuration Adaptation at Run Time}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2013}, }

Challenge Problems and Position Statements

Complementing Metaheuristic Search with Higher Abstraction Techniques
Frank R. Burton and Simon Poulding
(University of York, UK)


@InProceedings{CMSBSE13p47, author = {Frank R. Burton and Simon Poulding}, title = {Complementing Metaheuristic Search with Higher Abstraction Techniques}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {47-46}, doi = {}, year = {2013}, }

Whither (Away) Software Engineers in SBSE?
Christopher L. Simons
(University of the West of England, UK)


@InProceedings{CMSBSE13p51, author = {Christopher L. Simons}, title = {Whither (Away) Software Engineers in SBSE?}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {51-50}, doi = {}, year = {2013}, }

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)


@InProceedings{CMSBSE13p53, author = {Marouane Kessentini and Philip Langer and Manuel Wimmer}, title = {Searching Models, Modeling Search: On the Synergies of SBSE and MDE}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {53-52}, doi = {}, year = {2013}, }

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)


@InProceedings{CMSBSE13p57, author = {Eduard Paul Enoiu and Kivanc Doganay and Markus Bohlin and Daniel Sundmark and Paul Pettersson}, title = {MOS: An Integrated Model-Based and Search-Based Testing Tool for Function Block Diagrams}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2013}, }

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)


@InProceedings{CMSBSE13p63, author = {Mohamed W. Mkaouer and Marouane Kessentini and Slim Bechikh and Daniel R. Tauritz}, title = {Preference-Based Multi-objective Software Modelling}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {63-62}, doi = {}, year = {2013}, }

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)


@InProceedings{CMSBSE13p69, author = {Jeremy S. Bradbury and David Kelk and Mark Green}, title = {Effectively using Search-Based Software Engineering Techniques within Model Checking and Its Applications}, booktitle = {Proc.\ CMSBSE}, publisher = {IEEE}, pages = {69-68}, doi = {}, year = {2013}, }

proc time: 0.03