Wen-ling Huang

According to our database, Wen-ling Huang authored at least 23 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Scenario-Based System Testing for Distributed Robotics Applications - (Invited Paper).

Jan Peleska, Felix Brüning, Anne E. Haxthausen, Wen-ling Huang

Proceedings of the Towards Autonomous Robotic Systems - 26th Annual Conference, 2025

2024

Exhaustive property oriented model-based testing with symbolic finite state machines.

Wen-ling Huang, Niklas Krafczyk, Jan Peleska

Sci. Comput. Program., January, 2024

A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks.

Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang

CoRR, 2024

On the Unification of Conformance Notions.

Jan Peleska, Wen-ling Huang, Robert Sachtleben

Proceedings of the Application of Formal Methods, 2024

2023

Complete Property-Oriented Module Testing.

Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben

Proceedings of the Testing Software and Systems, 2023

An Optimised Complete Strategy for Testing Symbolic Finite State Machines.

Wen-ling Huang, Niklas Krafczyk, Jan Peleska

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Conformance Relations Between Input/Output Languages.

Wen-ling Huang, Robert Sachtleben

Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023

2021

Complete Agent-driven Model-based System Testing for Autonomous Systems.

Kerstin I. Eder, Wen-ling Huang, Jan Peleska

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Complete Requirements-based Testing with Finite State Machines.

Wen-ling Huang, Jan Peleska

CoRR, 2021

2019

Safety-complete test suites.

Wen-ling Huang, Sadik Özoguz, Jan Peleska

Softw. Qual. J., 2019

Finite complete suites for CSP refinement testing.

Jan Peleska, Wen-ling Huang, Ana Cavalcanti

Sci. Comput. Program., 2019

A Mechanised Proof of an Adaptive State Counting Algorithm.

Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2019

2018

Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges.

Jan Peleska, Jörg Brauer, Wen-ling Huang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Complete model-based equivalence class testing for nondeterministic systems.

Wen-ling Huang, Jan Peleska

Formal Aspects Comput., 2017

Safety-Complete Test Suites.

Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2017

2016

Complete model-based equivalence class testing.

Wen-ling Huang, Jan Peleska

Int. J. Softw. Tools Technol. Transf., 2016

A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.

Jan Peleska, Wen-ling Huang, Felix Hübner

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations.

Jan Peleska, Wen-ling Huang

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Industrial-Strength Model-Based Testing of Safety-Critical Systems.

Jan Peleska, Wen-ling Huang

Proceedings of the FM 2016: Formal Methods, 2016

2015

Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy.

Felix Hübner, Wen-ling Huang, Jan Peleska

Proceedings of the Tests and Proofs - 9th International Conference, 2015

CSP and Kripke Structures.

Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.

Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Exhaustive Model-Based Equivalence Class Testing.

Wen-ling Huang, Jan Peleska

Proceedings of the Testing Software and Systems, 2013