Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle. Industrial Examples of Formal Specifications for Test Case Generation. In Goran Frehse, Matthias Althoff, editors, 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015. Volume 34 of EPiC Series in Computing, pages 80-88, EasyChair, 2015. [doi]
@inproceedings{RoehmGHOW15,
title = {Industrial Examples of Formal Specifications for Test Case Generation},
author = {Hendrik Roehm and Rainer Gmehlich and Thomas Heinz and Jens Oehlerking and Matthias Woehrle},
year = {2015},
url = {http://www.easychair.org/publications/paper/Industrial_Examples_of_Formal_Specifications_for_Test_Case_Generation},
researchr = {https://researchr.org/publication/RoehmGHOW15},
cites = {0},
citedby = {0},
pages = {80-88},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
editor = {Goran Frehse and Matthias Althoff},
volume = {34},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}