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

Search-based software testing is the use of random or directed search techniques (hill climbing, genetic algorithms etc.) to address problems in the software testing domain. There has been an explosion of activity in the search-based software testing field of late, particularly in the test data generation field. Recent work has also focused on other aspects such as model-based testing, real-time testing, interaction testing, testing of service-oriented architectures and test case prioritization.
Researchers and practitioners are invited to submit short (5 pages) or full papers (10 pages) to the workshop, describing original research, experience or tools.
Papers should address a problem in the software testing domain and should approach the solution to the problem using a search strategy. Search-based techniques are taken to include (but are not limited to) random search, local search (i.e. hill climbing, simulated annealing etc.), evolutionary algorithms (i.e. genetic algorithms, evolution strategies, genetic programming), ant colony optimization and particle swarm optimization.
While experimental results are important for research papers, contributions that do not contain results, but rather present new approaches, concepts and/or theory will also be considered.