Hybrid based approaches for software fault localization and specification mining