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

Automatic RDF, Metadata Generation from Legacy Software Models. - Amna Riaz; Imran Sarwar Bajwa; Munsub Ali (INTAP, 2019)