Understanding Bohr-Mandel Bugs through ODC Triggers and a Case Study with Empirical Estimations of Their Field Proportion

This paper uses ODC Triggers as a means to estimate the Bohr-Mandel bug proportions from a software product in production. Specifically, the contributions are: A conceptual articulation of how ODC Triggers can differentiate between Bohr and Mandel bugsA grouping of triggers to estimate the proportion of Bohr-Mandel bugs in the field. A case study that estimates Mandelbug proportions to range ~20%-40% which is comparable to the JPL-NASA empirical study. A measure of the distribution of Mandelbugs across components, impact groups and time.Creates a discussion, and raises questions in greater depth on the Bohr-Mandel  definitions, implications, features and manifestations.