The Community for Technology Leaders
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) (2013)
San Francisco, CA, USA
May 20, 2013 to May 20, 2013
ISBN: 978-1-4673-6284-9
TABLE OF CONTENTS

[Front cover] (PDF)

pp. i-ii

Contents (PDF)

pp. 1-2

Foreword (PDF)

Richard F. Paige , University of York, UK
Mark Harman , University College London, UK
James Williams , University of York, UK
pp. iii-iv

Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty (Abstract)

Betty H.C. Cheng , Michigan State University, 3115 Engineering Building, East Lansing, 48824, USA
Andres Ramirez , Michigan State University, 3115 Engineering Building, East Lansing, 48824, USA
Philip K. McKinley , Michigan State University, 3115 Engineering Building, East Lansing, 48824, USA
pp. 1-6

Modelling and search: Efficient, practical, and innovative approaches to software engineering (PDF)

Simon Poulding , Department of Computer Science, University of York, Deramore Lane, Heslington, YO10 5GH, UK
pp. 7

Testing elastic systems with surrogate models (Abstract)

Alessio Gambi , Vienna University of Technology, Austria
Waldemar Hummer , Vienna University of Technology, Austria
Schahram Dustdar , Vienna University of Technology, Austria
pp. 8-11

Searching for models to evaluate software technology (Abstract)

Francisco Gomes de Oliveira Neto , Software Practices Laboratory, Universidade Federal Campina Grande, Brazil
Robert Feldt , Dept. of Computer Science and Engineering, Chalmers and Gothenburg University, Sweden
Richard Torkar , Dept. of Computer Science and Engineering, Chalmers and Gothenburg University, Sweden
Patricia D. L. Machado , Software Practices Laboratory, Universidade Federal Campina Grande, Brazil
pp. 12-15

Efficient probabilistic testing of model transformations using search (Abstract)

Louis M. Rose , Department of Computer Science, University of York, Deramore Lane, Heslington, YO10 5GH, UK
Simon Poulding , Department of Computer Science, University of York, Deramore Lane, Heslington, YO10 5GH, UK
pp. 16-21

Optimum feature selection in software product lines: Let your model and values guide your search (Abstract)

Abdel Salam Sayyad , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, USA
Joseph Ingram , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, USA
Tim Menzies , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, USA
Hany Ammar , Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, USA
pp. 22-27

Representation of Software Product Line Architectures for search-based design (Abstract)

Thelma Elita Colanzi , Computer Science Department Federal University of Paraná (UFPR), CP: 19081, CEP: 19031-970, Curitiba, Brazil
Silvia Regina Vergilio , Computer Science Department Federal University of Paraná (UFPR), CP: 19081, CEP: 19031-970, Curitiba, Brazil
pp. 28-33

Bi-criteria genetic search for adding new features into an existing product line (Abstract)

Reza Karimpour , Dept. of Computer Science, University of Calgary, Canada
Guenther Ruhe , Dept. of Computer Science, University of Calgary, Canada
pp. 34-38

Metrics on feature models to optimize configuration adaptation at run time (Abstract)

Luis Emiliano Sanchez , Universidad Nacional del Centro de la Provincia de Buenos Aires, Tandil, Argentina
Sabine Moisan , INRIA Sophia Antipolis Méditerrannée, Route des Lucioles, 06902 Cedex, France
Jean-Paul Rigault , INRIA Sophia Antipolis Méditerrannée, Route des Lucioles, 06902 Cedex, France
pp. 39-44

Complementing metaheuristic search with higher abstraction techniques (Abstract)

Frank R. Burton , Department of Computer Science, University of York, YO10 5GH, UK
Simon Poulding , Department of Computer Science, University of York, YO10 5GH, UK
pp. 45-48

Whither (away) Software Engineers in SBSE? (Abstract)

Christopher L. Simons , Department of Computer Science and Creative Technologies, University of the West of England, Bristol, BS16 1QY, United Kingdom
pp. 49-50

Searching models, modeling search: On the synergies of SBSE and MDE (Abstract)

Marouane Kessentini , Computer Science Department, Missouri University of Science and Technology, Rolla, USA
Philip Langer , Business Informatics Group, Vienna University of Technology, Austria
Manuel Wimmer , Business Informatics Group, Vienna University of Technology, Austria
pp. 51-54

MOS: An integrated model-based and search-based testing tool for Function Block Diagrams (Abstract)

Eduard Paul Enoiu , Mälardalen University, Västerås, Sweden
Kivanc Doganay , Mälardalen University, Västerås, Sweden
Markus Bohlin , Swedish Institute of Computer Science, Västerås, Sweden
Daniel Sundmark , Mälardalen University, Västerås, Sweden
Paul Pettersson , Mälardalen University, Västerås, Sweden
pp. 55-60

Preference-based multi-objective software modelling (Abstract)

Mohamed W. Mkaouer , Department of Computer Science, Missouri University of Science and Technology, Rolla, USA
Marouane Kessentini , Department of Computer Science, Missouri University of Science and Technology, Rolla, USA
Slim Bechikh , SOIE Lab, University of Tunis, Tunisia
Daniel R. Tauritz , Department of Computer Science, Missouri University of Science and Technology, Rolla, USA
pp. 61-66

Effectively using search-based software engineering techniques within model checking and its applications (Abstract)

Jeremy S. Bradbury , Software Quality Research Laboratory, University of Ontario Institute of Technology, Oshawa, Canada
David Kelk , Software Quality Research Laboratory, University of Ontario Institute of Technology, Oshawa, Canada
Mark Green , Software Quality Research Laboratory, University of Ontario Institute of Technology, Oshawa, Canada
pp. 67-70
75 ms
(Ver 3.3 (11022016))