A model‐driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing Article in Software Practice and Experience (October 2018)