Grammar-based Program Generation Based on Model Finding

@inproceedings{pub7137,
    author = {

Soeken, Mathias
 and 

Drechsler, Rolf
},
    title = {Grammar-based Program Generation Based on Model Finding},
    booktitle = {IEEE International Design and Test Symposium - Proceedings. IEEE International Design and Test Symposium (IDT-13), 8th IEEE International Design and Test Symposium, December 16-18, Marrakesch, Morocco},
    year = {2013},
    publisher = {IEEE}
}