Publications
Academic article
- Kazi Asraful Alam; Josep Marti Solans; Dorothea Schall et al. (2026). Discovery of Small-Molecule Inhibitors of the KCNQ1/Kv7.1 Potassium Channel with Virtual Screening and Functional Validation in Electrophysiological Assays and KCNQ1-Knockout Neural Stem Cells. (external link)
- Shaukat Ali; Muhammad Iqbal; Maham Khalid et al. (2015). Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach. (external link)
- Shaukat Ali; Lionel Briand; Muhammad Rehman et al. (2007). A State-Based Approach to Integration Testing Based on UML Models. (external link)
- Shaukat Ali; Muhammad Iqbal; Andrea Arcuri et al. (2013). Generating Test Data From OCL Constraints With Search Techniques. (external link)
- Muhammad Iqbal; Shaukat Ali; Tao Yue et al. (2014). Applying UML/MARTE on Industrial Projects: Challenges, Experiences, and Guidelines. (external link)
- Sajida Parveen; Kashif ur Rehman Khan; Shahid Muhammad Iqbal et al. (2024). Exploration of the anti-inflammatory potential of Polygonum bistorta L.: protection against LPS-induced acute lung injury in rats via NF-ĸβ pathway inhibition. (external link)
Report
- Shaukat Ali; Tao Yue; Muhammad Iqbal et al. (2012). Myths, Facts, and Misconceptions of OCL: Experiences from Diverse Industrial Applications. (external link)
- Muhammad Iqbal; Shaukat Ali; Tao Yue et al. (2012). Experiences of Applying UML/MARTE on Three Industrial Projects. (external link)
- Shaukat Ali; Muhammad Iqbal; Andrea Arcuri et al. (2012). Generating Test Data From OCL Constraints With Search Techniques. (external link)
- Shaukat Ali; Muhammad Iqbal; Andrea Arcuri (2012). Empirically Evaluating Improved Heuristics for Test Data Generation From OCL Constraints Using Search Algorithms. (external link)
Conference lecture
- Muhammad Khan; Muhammad Iqbal; Shaukat Ali et al. (2014). A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. (external link)
- Muhammad Iqbal; Shaukat Ali; Tao Yue et al. (2012). Experiences of Applying UML/MARTE on Three Industrial Projects. (external link)
- Shaukat Ali; Tao Yue; Muhammad Iqbal et al. (2014). Insights on the Use of OCL in Diverse Industrial Applications. (external link)
- Shaukat Ali; Muhammad Iqbal; Andrea Arcuri (2014). Improved Heuristics for Solving OCL Constraints Using Search Algorithms. (external link)