cmsbse
First International Workshop on Combining Modelling and Search-Based Software Engineering
20th May 2013
In conjunction with
ICSE 2013, San Francisco, California, USA

Go to ICSE 2013 website
2013 Photographs
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.
-
> Search-amenable representations of modelsCan 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 operatorsAre the standard genetic operators enough? Do we need problem-specific operators?
-
> Models of metaheuristic techniquesCan 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 modellingDue 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?> Technique ComparisonComparisons of standard metaheuristic techniques against bespoke modelling-specific metaheuristic techniques> Applications of search to modelling problems> Enabling IntegrationIntegrations of search techniques that is enabled through the use of modelling> Novel AlgorithmsNovel algorithms for search when applied to modelling formalisms> Search techniques applied to metamodels> Search techniques applied to operations on modelsExamples include white or black box testing, test case generation> Optimising models at runtimeCan we efficiently use metaheuristic techniques to optimise models that are used during at runtime?> BenchmarkingProposals of benchmark modelling case studies against which different metaheuristic techniques can be evaluated> Tool PapersTool papers related to combining search and modelling> Position PapersPosition statements on ways in which modelling and SBSE could be combined:Important Dates
NEWS: We have extended the paper submission deadline to the 14th February.
-
> Paper submission7th February 201314th February 2013
-
> Author notification28th February 2013
-
> Camera-ready papers7th March 2013
:KeynotesWe are delighted to announce that we have an excellent keynote lined up:
-
> Keynote : Betty H.C. ChengHarnessing Evolutionary Computation to Enable Dynamically Adaptive Systems to Manage UncertaintyBetty H.C. Cheng is a professor in the Department of Computer Science and Engineering at Michigan State University. Her research interests include dynamically adaptive systems, requirements engineering, model-driven engineering, automated software engineering, and harnessing evolutionary computation to address software engineering problems. These research areas are used to support the development of high-assurance adaptive systems that must continuously deliver acceptable behavior, even in the face of environmental and system uncertainty. Example applications include intelligent transportation and vehicle systems. She collaborates extensively with industrial partners in her research projects in order to ensure real-world relevance of her research and to facilitate technology exchange between academia and industry. Previously, she was awarded a NASA/JPL Faculty Fellowship to investigate the use of new software engineering techniques for a portion of the shuttle software. She spent one sabbatical working with the Motorola Software Labs investigating automated analysis techniques of specifications of telecommunication systems. During her most recent sabbatical, she was awarded an international faculty scholarship to explore research techniques for specifying and managing uncertainty in high-assurance systems. Her research has been funded by several federal funding agencies, including NSF, ONR, DARPA, NASA, AFRL, ARO, and numerous industrial organizations. She serves on the editorial boards for Requirements Engineering Journal, and Software and Systems Modeling, and IEEE Transactions on Software Engineering. She is the Technical Program Co-Chair for IEEE International Conference on Software Engineering (ICSE-2013), the premier and flagship conference for software engineering.
:ProgrammeThe schedule for the day will be as follows:
:Organising Committee-
University College London, UK
-
University of York, UK
-
University of York, UK
:Programme Committee-
UNIRIO, Brazil
-
INRIA Rennes Bretagne-Atlantique, France
-
University of Luxembourg, Luxembourg
-
Michigan State University, USA
-
University of York, UK
-
Chalmers University of Technology, Sweden
-
University of Waterloo, Canada
-
University of Sheffield, UK
-
University of York, UK
-
University of Montreal, Canada
-
Tampere University of Technology, Finland
-
> Shin YooUniversity College London, UK
:Contact