Techniques For Model Inference And Bug Finding