Software Bugs: Detection, Analysis and Fixing