A probablistic approach to classification and diagnosis of erroneous rules of operations that result from misconceptions ("bugs") in a procedural domain of arithmetic is introcuced. Variability of response errors is explicitly treated through item response theory. As a concrete example, a signed-number subtraction dataset is analyzed. (Author/BW)