This book describes automated debugging approaches for the bugs and the faults which appear in...