Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Parallel Software Testing Sequence Generation Method Target at Full Covering Tested Behaviors

    Parallel software system testing is very difficult because the number of states expands sharply caused by parallel behaviors. In this paper, a testing sequence generation method is proposed, target at full cov...

    Tao Sun, **aoyun Wan, Wenjie Zhong, **n Guo in Algorithms and Architectures for Parallel … (2020)

  2. No Access

    Chapter and Conference Paper

    Navigation Using Invariants of Gravity Vectors and Gravity Gradients

    The paper develops and analyzes the application of invariants of gravity vectors and gravity gradients in gravity matching navigation. Compared with the traditional method based on gravity gradient tensors, th...

    **aoyun Wan, **hai Yu in China Satellite Navigation Conference (CSN… (2014)