Detecting Software Bugs towards Efficient Software development: A Model Based Approach