Wen-ling Huang

27 papers B 1C 6Journal 9Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — conf
Identification of Classification Clusters in Convolutional Neural Networks.
Engineering Safe and Trustworthy Cyber Physical Systems
Felix Brüning, Felix Höfer, Wen-ling Huang, Jan Peleska
2025 — conf
Scenario-Based System Testing for Distributed Robotics Applications - (Invited Paper).
TAROS
Jan Peleska, Felix Brüning, Anne E. Haxthausen, Wen-ling Huang
2024 J jnl
A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks.
CoRR
Jan Peleska, Felix Brüning, Mario Gleirscher, Wen-ling Huang
2024 J jnl
Exhaustive property oriented model-based testing with symbolic finite state machines.
Sci. Comput. Program.
Wen-ling Huang, Niklas Krafczyk, Jan Peleska
2024 — conf
On the Unification of Conformance Notions.
The Application of Formal Methods
Jan Peleska, Wen-ling Huang, Robert Sachtleben
2023 — conf
An Optimised Complete Strategy for Testing Symbolic Finite State Machines.
FSEN
Wen-ling Huang, Niklas Krafczyk, Jan Peleska
2023 — ed.
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products
Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach
2023 C conf
Complete Property-Oriented Module Testing.
ICTSS
Felix Brüning, Mario Gleirscher, Wen-ling Huang, Niklas Krafczyk, Jan Peleska, Robert Sachtleben
2023 — conf
Conformance Relations Between Input/Output Languages.
Applicable Formal Methods for Safe Industrial Products
Wen-ling Huang, Robert Sachtleben
2021 — conf
Complete Agent-driven Model-based System Testing for Autonomous Systems.
FMAS
Kerstin I. Eder, Wen-ling Huang, Jan Peleska
2021 J jnl
Complete Requirements-based Testing with Finite State Machines.
CoRR
Wen-ling Huang, Jan Peleska
2019 C conf
A Mechanised Proof of an Adaptive State Counting Algorithm.
ICTSS
Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska
2019 J jnl
Experimental evaluation of a novel equivalence class partition testing strategy.
Softw. Syst. Model.
Felix Hübner, Wen-ling Huang, Jan Peleska
2019 J jnl
Finite complete suites for CSP refinement testing.
Sci. Comput. Program.
Jan Peleska, Wen-ling Huang, Ana Cavalcanti
2019 J jnl
Safety-complete test suites.
Softw. Qual. J.
Wen-ling Huang, Sadik Özoguz, Jan Peleska
2018 — conf
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges.
ISoLA (4)
Jan Peleska, Jörg Brauer, Wen-ling Huang
2018 J jnl
Model-based testing strategies and their (in)dependence on syntactic model representations.
Int. J. Softw. Tools Technol. Transf.
Wen-ling Huang, Jan Peleska
2017 J jnl
Complete model-based equivalence class testing for nondeterministic systems.
Formal Aspects Comput.
Wen-ling Huang, Jan Peleska
2017 C conf
Safety-Complete Test Suites.
ICTSS
Wen-ling Huang, Jan Peleska
2016 — conf
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.
RSSRail
Jan Peleska, Wen-ling Huang, Felix Hübner
2016 J jnl
Complete model-based equivalence class testing.
Int. J. Softw. Tools Technol. Transf.
Wen-ling Huang, Jan Peleska
2016 B conf
Industrial-Strength Model-Based Testing of Safety-Critical Systems.
FM
Jan Peleska, Wen-ling Huang
2016 — conf
Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations.
FMICS-AVoCS
Jan Peleska, Wen-ling Huang
2015 C conf
CSP and Kripke Structures.
ICTAC
Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
2015 — conf
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy.
TAP@STAF
Felix Hübner, Wen-ling Huang, Jan Peleska
2014 C conf
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor.
ICFEM
Cécile Braunstein, Anne E. Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong
2013 C conf
Exhaustive Model-Based Equivalence Class Testing.
ICTSS
Wen-ling Huang, Jan Peleska