Bugs used in Our Experiment