validation and bug localization using a combination of simulation-based techniques and