Search Results - Huaikou Miao

Refine Results
  1. 21
    Usage-pattern based Statistical Web Testing and Reliability Measurement

    Usage-pattern based Statistical Web Testing and Reliability Measurement by Chen, Chao, Chen, Yihai, Miao, Huaikou, Wang, Hao

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 22
    Test Suite Reduction Using Weighted Set Covering Techniques

    Test Suite Reduction Using Weighted Set Covering Techniques by Shengwei Xu, Huaikou Miao, Honghao Gao

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 23
    Model Checking-based Verification of Web Application

    Model Checking-based Verification of Web Application by Huaikou Miao, Hongwei Zeng

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 24
    An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage

    An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage by Lu, Gongzheng, Miao, Huaikou

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 25
    Model checking-based testing of Web applications

    Model checking-based testing of Web applications by Zeng, Hongwei, Miao, Huaikou

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 26
    Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach

    Modeling Web Applications and Generating Tests: A Combination and Interactions-guided Approach by Bo Song, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 27
    Modeling and Verifying for Frameset-Based Web Applications

    Modeling and Verifying for Frameset-Based Web Applications by Shengbo Chen, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 28
    Scenario specification based testing model generation

    Scenario specification based testing model generation by Beilei Liang, Pan Liu, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 29
    Probabilistic Petri Net and its Logical Semantics

    Probabilistic Petri Net and its Logical Semantics by Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 30
    Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application

    Axiomatic Assessment of FSM-Based Test Adequacy Criteria for Web Application by Xiaokang Zhou, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 31
    An Approach to Modeling and Verifying Router-Based Network

    An Approach to Modeling and Verifying Router-Based Network by Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 32
    QoS-Aware Web Services Composition Based on HQPSO Algorithm

    QoS-Aware Web Services Composition Based on HQPSO Algorithm by Yang Liu, Huaikou Miao, Zhuang Li, Honghao Gao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 33
    Modeling and Composition of Web Application Components using Extended FSM

    Modeling and Composition of Web Application Components using Extended FSM by Tao He, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 34
    Manipulating Clocks in Timed Automata Using PVS

    Manipulating Clocks in Timed Automata Using PVS by Qingguo Xu, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 35
    An Abstract Approach to Describing Scenario-Based Specifications

    An Abstract Approach to Describing Scenario-Based Specifications by Zhongyu Chen, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 36
    A Practical Web Testing Model for Web Application Testing

    A Practical Web Testing Model for Web Application Testing by Zhongsheng Qian, Huaikou Miao, Hongwei Zeng

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 37
    Modeling the Patterns of WS-CDL Interactions Based on Process Algebra

    Modeling the Patterns of WS-CDL Interactions Based on Process Algebra by Shenghong Li, Huaikou Miao

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 38
    Probabilistic Timed Model Checking for Atomic Web Service

    Probabilistic Timed Model Checking for Atomic Web Service by Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 39
    Towards a Type Theory of WS-CDL Based on Process Algebra

    Towards a Type Theory of WS-CDL Based on Process Algebra by Huaikou Miao, Shenghong Li

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 40
    A Just-In-Time Software Defect Localization Method Based On Code Graph Representation

    A Just-In-Time Software Defect Localization Method Based On Code Graph Representation by Zhang, Huan, Min, Weihuan, Wei, Zhao, Kuang, Li, Gao, Honghao, Miao, Huaikou

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: