Zobrazeno 1 - 10
of 207
pro vyhledávání: '"Wen-ling Huang"'
Autor:
Yan Ru Gao, Wen Ling Huang, Chun Lian Tang, Rong Liu, Qin Ping Zhao, Zhen Ping Ming, Hui Fen Dong
Publikováno v:
Parasites & Vectors, Vol 11, Iss 1, Pp 1-11 (2018)
Abstract Background Schistosomiasis caused by Schistosoma japonicum is among the most serious endemic zoonoses in China. To study interactions between schistosomula, the pre-adult juvenile stage, and hosts, it is important to study the functions of k
Externí odkaz:
https://doaj.org/article/ec18704a1a7e4d08942081b78d96bcda
Autor:
Keh-Chung Lin, Yu-Ting Chen, Pai-Chuan Huang, Ching-Yi Wu, Wen-Ling Huang, Hsiu-Wen Yang, Hui-Tsz Lai, Hung-Ju Lu
Publikováno v:
Journal of the Formosan Medical Association, Vol 113, Iss 7, Pp 422-428 (2014)
Mirror therapy (MT) has been recommended as a simple, inexpensive approach to treat motor dysfunction. The use of a mesh glove (MG) was suggested to normalize muscle tone that ameliorates motor impairment. Combining two efficient treatment protocols
Externí odkaz:
https://doaj.org/article/b2c0b8b1264d4bc0bca22f47ea2f27b1
Publikováno v:
Science of Computer Programming. 179:1-23
In this paper, new contributions for model-based testing using Communicating Sequential Processes (CSP) are presented. For a finite non-terminating CSP process representing the reference model, finite test suites for checking the conformance relation
Publikováno v:
FMAS
Eder, K I, Huang, W & Peleska, J 2021, ' Complete Agent-driven Model-based System Testing for Autonomous Systems ', Paper presented at Formal Methods for Autonomous Systems, 21/10/21-22/10/21 . https://doi.org/10.4204/EPTCS.348.4
Eder, K I, Huang, W & Peleska, J 2021, ' Complete Agent-driven Model-based System Testing for Autonomous Systems ', Paper presented at Formal Methods for Autonomous Systems, 21/10/21-22/10/21 . https://doi.org/10.4204/EPTCS.348.4
In this position paper, a novel approach to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains is described. It is intended to mitigate some of the most critical problems regarding verification and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1b91943dd4604af4f4e76075a8a0f7e
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with
Publikováno v:
Software Quality Journal. 27:589-613
In this paper, a novel safety-related variant of complete test suites for finite state machines is introduced. Under certain hypotheses which are similar to the ones used in the well-known W-Method and its improved versions, the new method guarantees
Autor:
Wen-ling Huang, Jan Peleska
Publikováno v:
International Journal on Software Tools for Technology Transfer. 20:441-465
Model-based testing in its most advanced form allows for automated test case identification, test data calculation, and test procedure generation from reference models describing the expected behaviour of the system under test. If the underlying algo
Publikováno v:
Construction and Building Materials. 144:147-157
In recent years, upon increasingly exploiting natural sandstone, the natural ecology has been damaged severely. To reduce the impact of market demand on natural resources, replacing natural resources with recycled materials, such as desulfurization s
Publikováno v:
Software & Systems Modeling. 18:423-443
In this paper, a complete model-based equivalence class testing strategy recently developed by the authors is experimentally evaluated. This black-box strategy applies to deterministic systems with infinite input domains and finite internal state and