Author of the publication

Parallel Software Testing Sequence Generation Method Based on State Pruning.

, , and . ISPA/IUCC/BDCloud/SocialCom/SustainCom, page 446-453. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Distributed replay protocol for distributed uniprocessors., , , , , , and . ICS, page 3-14. ACM, (2012)Locating failure-inducing environment changes., , , and . PASTE, page 29-36. ACM, (2011)A Hierarchical CPN Model Automatically Generating Method Aiming at Multithreading Program Algorithm Error Detection., and . ISPA/IUCC/BDCloud/SocialCom/SustainCom, page 431-437. IEEE, (2018)Application of Hadoop Based Distributed Data Cleaning Technology in Periodical Meta Data Integration., , and . ISCID (2), page 396-399. IEEE, (2017)General Theory of Quasi-Commutative BCI-algebras., , , and . Formalized Mathematics, 16 (1-4): 253-258 (2008)Modeling and stabilization of a wireless network control system with packet loss and time delay., , , , and . J. Frankl. Inst., 349 (7): 2420-2430 (2012)Nonlinear estimation by Hermite polynomial-based uncorrelated conversion within LMMSE framework., and . ACC, page 4583-4588. IEEE, (2017)Research on Multi-source Data Fusion Method Based on Bayesian Estimation., and . ISCID (2), page 321-324. IEEE, (2016)Resource-aware service composition for video multicast to heterogeneous mobile users., , , , , and . MSC@MM, page 37-46. ACM, (2005)Human Mobility Identification by Deep Behavior Relevant Location Representation., , , , and . DASFAA (2), volume 13246 of Lecture Notes in Computer Science, page 439-454. Springer, (2022)