Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. - Cécile Braunstein; Anne E. Haxthausen; Wen-ling Huang; Felix Hübner 001; Jan Peleska 001; Uwe Schulze; Linh Vu Hong (ICFEM, 2014)

Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing. - Felix Hübner 001; Jan Peleska 001 (SyDe Summer School, 2015)

A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers. - Jan Peleska 001; Wen-ling Huang; Felix Hübner 001 (RSSRail, 2016)

Complete Model-Based Testing Applied to the Railway Domain (Komplettes Modellbasiertes Testen angewandt auf den Bahnbereich) - Felix Hübner 001 (2018)

Experimental evaluation of a novel equivalence class partition testing strategy. - Felix Hübner 001; Wen-ling Huang; Jan Peleska 001 (Softw. Syst. Model., 2019)