Skip to main content

1 Result(s)

within Yongbing Wan Remove this filter Data Mining and Knowledge Discovery Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    A Formal Method for Testing Reactive System from Symbolic Model

    Testing is one of the most well-established techniques for the verification and validation of systems. Since success or failure verdicts are emitted with respect to the test case execution results, proper test...

    Yongbing Wan, Zhongwei Xu, Meng Mei in Artificial Intelligence and Computational … (2012)