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