posted by user: jwilliams || 2205 views || tracked by 6 users: [display]

CMSBSE 2013 : 1st International Workshop on Combining Modelling and Search-Based Software Engineering


When May 20, 2013 - May 20, 2013
Where San Francisco, USA (co-located w/ ICSE)
Submission Deadline Feb 7, 2013
Notification Due Feb 28, 2013
Final Version Due Mar 7, 2013
Categories    modelling   model-driven engineering   search-based software engineer   software engineering

Call For Papers

First International Workshop on Combining
Modelling and Search-Based Software Engineering

Monday 20th May, 2013

ICSE 2013, San Francisco, California, USA

The first workshop on combining modelling and search-based software engineering will be co-located with the 2013 International Conference on Software Engineering (ICSE). Modelling plays a vital and pervasive role in software engineering: it provides means to manage complexity via abstraction, and enables the creation of larger, more complex systems. Search-based software engineering (SBSE) offers a productive and proven approach to software engineering through automated discovery of near-optimal solutions to problems, and has proven itself to be effective on a wide variety of problems. The goals of this workshop are to highlight that SBSE and modelling have substantial conceptual and technical synergy, and to identify and present opportunities in which they can be combined, whilst also aiming to grow the community working in this area.

Topics of interest for the workshop include:

* Search-amenable representations of models: Can we use direct representations of modelling formalisms (e.g. graphs) or do we need a genotype-phenotype mapping? Are there generic representations for models, or are problem-specific representations more appropriate?
* Domain-specific search operators: Are the standard genetic operators enough? Do we need problem-specific operators?
* Models of metaheuristic techniques: Can modelling techniques be used to evaluate and compare different metaheuristic techniques? Can modelling a problem formally suggest which metaheuristic technique would be most applicable?
* Metaheuristic techniques specific to modelling: Due to the complex nature of models, are current metaheuristic search techniques enough? Do we need new techniques that are tailored to manage the complexity of models?
* Comparisons of standard metaheuristic techniques against bespoke modelling-specific metaheuristic techniques
* Applications of search to modelling problems
* Integrations of search techniques that is enabled through the use of modelling
* Novel algorithms for search when applied to modelling formalisms
* Search techniques applied to metamodels
* Search techniques applied to operations on models (e.g. model transformations): Examples include white or black box testing, test case generation
* Optimising models at runtime: Can we efficiently use metaheuristic techniques to optimise models that are used during at runtime?
* Proposals of benchmark modelling case studies against which different metaheuristic techniques can be evaluated
* Tool papers related to combining search and modelling
* Position statements on ways in which modelling and SBSE could be combined

Paper submission - 7th February 2013
Author notification - 28th February 2013
Camera-ready papers - 7th March 2013

The day will begin with a tutorial-like keynote that highlights the overlaps and gaps between the two fields. There will then be three paper presentation sessions; each paper will be given a 20 minute slot followed by 10 minutes for questions and discussion. Each paper shall have a designated opponent who's job wil be to give a five minute critique of the paper/presentation and encourage further discussion on the work. The final session will be used for discussion inspired by the presented papers and will aim to form new collaborations and research agendas.

Participants are invited to submit a 6 page technical research paper, a 4 page position paper, or a 2 page challenges and open problems paper. Papers must follow the ICSE 2013 format and submission guidelines. Each paper will receive at least three reviews by members of the program and organising committees. Papers will be reviewed for quality, novelty and relevance, and position papers will have the extra criteria of whether a strong, interesting presentation would be possible.

Papers should be submitted via Easychair at

* Mark Harman, University College London, UK
* Richard Paige, University of York, UK
* James Williams, University of York, UK

To contact the organisers, please email:

* Benoit Baudry: INRIA Rennes Bretagne-Atlantique, France
* Lionel Briand: University of Luxembourg, Luxembourg
* Betty Cheng: Michigan State University, USA
* John Clark: University of York, UK
* Phil McMinn: University of Sheffield, UK
* Simon Poulding: University of York, UK
* Houari Sahraoui: University of Montreal, Canada
* Shin Yoo: University College London, UK
* More to be confirmed

We are proud to be sponsored by DAASE (

Related Resources

SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
IEEE ICCCR 2023   IEEE--2023 3rd International Conference on Computer, Control and Robotics (ICCCR 2023)
MDE Intelligence 2022   The 4th Workshop on Artificial Intelligence and Model-driven Engineering
IEEE ICCAE 2023   IEEE--2023 the 15th International Conference on Computer and Automation Engineering (ICCAE 2023)
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
WSDM 2022   Web Search and Data Mining
ICDLT 2022   ACM--2022 6th International Conference on Deep Learning Technologies (ICDLT 2022)