Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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...
-
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...