Effectively using Search-Based Software Engineering Techniques within Model Checking and Its Applications

by Jeremy S. Bradbury, David Kelk and Mark Green

Abstract

In this position paper, we affirm that there are synergies to be gained by using search-based techniques within software model checking. We will show from the literature how meta-heuristic search based techniques can augment both the model checking process and its applications. We will provide evidence to support this assertion in the form of existing research work and open problems that may benefit from combining Search-Based Software Engineering (SBSE) techniques and software model checking.

Bibliographic Information [Bibtex format]

@inproceedings{BKG13,
 Title = {Effectively using Search-Based Software Engineering Techniques within Model Checking and Its Applications},
 Author = {Jeremy S. Bradbury and David Kelk and Mark Green},
 Booktitle = {Proc. of the 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE 2013)},
 Month = {May},
 Year = {2013}
 Pages = 67--70}
}

Paper: [PDF]  Presentation: [PDF]