Wen-ling Huang

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 19

Top Topics

Convolutional Neural Networks

Mutation Testing

Finite State Machines

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

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