Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach Journal title: International journal of Emerging Trends in Science and Technology Authors: Manisha Umak Subject(s):
