Model-based testing is an automated process in which executable tests are derived from behavioral models of a system. Model checking verification technique to reveal errors all reachable states system can be generated as state space. In the literature, different approaches suggest using model checkers for model-based testing. checker explores possible states, so utilizing various paths state-sp...

Earthquake phase association algorithms aggregate picked seismic phases from a network of seismometers into individual earthquakes and play an important role in earthquake monitoring. Dense networks improved picking methods produce massive data sets, particularly for swarms aftershocks occurring closely time space, making challenging problem. We present new method, the Gaussian Mixture Model As...