Model-based mutation testing for test generation and adequacy analysis