モデルが複雑になり、状態の組み合わせが指数関数的に増える現象を何と呼ぶか。

MBTを探索的テストに活用する方法として適切なものはどれか。