Advances in Software Engineering

Research Article

Improving Model Checking with Context Modelling

Figure 9

An example of context splitting execution.
547157.fig.009