Control Flow Based Testing