Exhaustive Model-Based Equivalence Class Testing. - Wen-ling Huang; Jan Peleska 001 (ICTSS, 2013)

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)

CSP and Kripke Structures. - Ana Cavalcanti 001; Wen-ling Huang; Jan Peleska 001; Jim Woodcock 001 (ICTAC, 2015)

Industrial-Strength Model-Based Testing of Safety-Critical Systems. - Jan Peleska 001; Wen-ling Huang (FM, 2016)

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 equivalence class testing. - Wen-ling Huang; Jan Peleska 001 (Int. J. Softw. Tools Technol. Transf., 2016)

Safety-Complete Test Suites. - Wen-ling Huang; Jan Peleska 001 (ICTSS, 2017)

Complete model-based equivalence class testing for nondeterministic systems. - Wen-ling Huang; Jan Peleska 001 (Formal Aspects Comput., 2017)

Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. - Jan Peleska 001; Jörg Brauer; Wen-ling Huang (ISoLA (4), 2018)

Model-based testing strategies and their (in)dependence on syntactic model representations. - Wen-ling Huang; Jan Peleska 001 (Int. J. Softw. Tools Technol. Transf., 2018)

A Mechanised Proof of an Adaptive State Counting Algorithm. - Robert Sachtleben; Robert M. Hierons; Wen-ling Huang; Jan Peleska 001 (ICTSS, 2019)

Finite complete suites for CSP refinement testing. - Jan Peleska 001; Wen-ling Huang; Ana Cavalcanti 001 (Sci. Comput. Program., 2019)

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

Safety-complete test suites. - Wen-ling Huang; Sadik Özoguz; Jan Peleska 001 (Softw. Qual. J., 2019)

Complete Requirements-based Testing with Finite State Machines. - Wen-ling Huang; Jan Peleska 001 (CoRR, 2021)

Complete Agent-driven Model-based System Testing for Autonomous Systems. - Kerstin I. Eder; Wen-ling Huang; Jan Peleska 001 (FMAS, 2021)

Conformance Relations Between Input/Output Languages. - Wen-ling Huang; Robert Sachtleben (Applicable Formal Methods for Safe Industrial Products, 2023)

An Optimised Complete Strategy for Testing Symbolic Finite State Machines. - Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001 (FSEN, 2023)

Complete Property-Oriented Module Testing. - Felix Brüning; Mario Gleirscher; Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001; Robert Sachtleben (ICTSS, 2023)

On the Unification of Conformance Notions. - Jan Peleska 001; Wen-ling Huang; Robert Sachtleben (The Application of Formal Methods, 2024)

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks. - Jan Peleska 001; Felix Brüning; Mario Gleirscher; Wen-ling Huang (CoRR, 2024)

Exhaustive property oriented model-based testing with symbolic finite state machines. - Wen-ling Huang; Niklas Krafczyk; Jan Peleska 001 (Sci. Comput. Program., 2024)

Scenario-Based System Testing for Distributed Robotics Applications - (Invited Paper). - Jan Peleska 001; Felix Brüning; Anne E. Haxthausen; Wen-ling Huang (TAROS, 2025)