A missing case of a fixed scope can be detected among a plurality of business rules of unrestricted forms. According to one or more embodiments, the described detecting includes building a rules inhibition graph for the plurality of business rules representing a constraint model comprising a plurality of nodes and describing a plurality of cases which make the plurality of business rules non-applicable; labeling the rules inhibition graph with values satisfying constraints of the constraint model by search and inference and determining a missing case when a consistent labeling satisfying the constraints of the constraint model is obtained. Using one or more of the described embodiments missing cases which may result from unforeseen interactions of overlapping tests over an a priori unknown number of attributes among arbitrary business rules may be detected.