  It has been shown that graph-cover pseudocodewords can be used to
characterize the behavior of sum-product algorithm (SPA) decoding of classical
codes. In this paper, we leverage and adapt these results to analyze SPA
decoding of quantum stabilizer codes. We use the obtained insights to formulate
modifications to the SPA that overcome some of its weaknesses.
