Author of the publication

Test Suite Reduction Using Weighted Set Covering Techniques.

, , and . SNPD, page 307-312. IEEE Computer Society, (2012)

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.

No persons found for author name Miao, Huaikou
add a person with the name Miao, Huaikou
 

Other publications of authors with the same name

Refining Service-Oriented Model Using Interpretation Mapping., , and . SOSE, page 85-90. IEEE Computer Society, (2008)An Approach to Checking the Compatibility for Web Services Specification Based on the Typed Graph Category., , and . ICYCS, page 416-421. IEEE Computer Society, (2008)Analysis and Composition of Web Components Based on p-Calculus., , and . CSO (1), page 677-679. IEEE Computer Society, (2009)Probabilistic Timed Model Checking for Atomic Web Service., , , and . SERVICES, page 459-466. IEEE Computer Society, (2011)Towards Practical Modeling of Web Applications and Generating Tests., , , and . TASE, page 209-217. IEEE Computer Society, (2010)A Novel Approach for On-the-Fly Test Cases Synthesis., , and . SNPD, page 575-578. IEEE Computer Society, (2009)Test Suite Reduction Using Weighted Set Covering Techniques., , and . SNPD, page 307-312. IEEE Computer Society, (2012)Towards Automatically Generating Test Paths for Web Application Testing., , and . TASE, page 211-218. IEEE Computer Society, (2008)Verifying Service-Oriented Requirements Using Model Checking., , and . ICEBE, page 643-648. IEEE Computer Society, (2008)Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking., , , and . SERA, page 149-154. IEEE Computer Society, (2016)