In model-based mutation testing, a test model is mutated for test case generation. The resulting test cases are able to detect whether the faults in the mutated models have been implemented in the system under test. For this purpose, a conformance check between the original and the mutated model is required. The generated counterexamples serve as basis for the test cases. Unfortunately, conform...

A new concept of a space-based synchronized reference network is proposed with the development an optical frequency and laser inter-satellite link. To build such time reference, three clock ensemble algorithms, namely natural Kalman timescale (NKT) algorithm, reduced (RKT) two-stage (TKT) algorithm are considered. This study analyzes compares performance these algorithms using BDS, GPS, Galileo...