Publications
91:188–215, 2014 Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, UweSchulze, and Linh Vu Hong. Complete model-based equivalence class testing for the ETCS ceiling speed monitor [...] g, September 2014. ISBN 978-3-9816886-6-5 Gustavo Carvalho, Flávia Barros, Florian Lapschies, UweSchulze, and Jan Peleska. Modelbased testing from controlled natural language requirements. In Cyrille [...] 2012, volume 6 of IEEE Systems Journal, pages 573–578, July 2012 Jörg Brauer, Jan Peleska, and UweSchulze. Efficient and trustworthy tool qualification for model-based testing tools. In Brian Nielsen and