Publications

@inproceedings{LPKS2014,

title = {Model-Based Testing},

author = {Malte Lochau and Sven Peldszus and Matthias Kowal and Ina Schaefer},

doi = {10.1007/978-3-319-07317-0_8},

year  = {2014},

date = {2014-01-01},

urldate = {2014-01-01},

booktitle = {Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM)},

pages = {310–342},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}