Automated Verification of Software Constraints Using Business Rules. - Sidra Sabir; Munsub Ali (INTAP, 2018)