Suleman Mahmood

According to our database, Suleman Mahmood authored at least 7 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Modular Assessment for Cache Memories.

Suleman Mahmood, Geoffrey L. Herman

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2020

Extending symbolic execution for automated testing of stored procedures.

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Softw. Qual. J., 2020

Caches as an Example of Machine-gradable Exam Questions for Complex Engineering Systems.

Suleman Mahmood, Mingjie Zhao, Omar Khan, Geoffrey L. Herman

Proceedings of the IEEE Frontiers in Education Conference, 2020

2019

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation.

Farah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018

Evaluating test-suite reduction in real software evolution.

August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2016

Symbolic execution of stored procedures in database management systems.

Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Effective Partial Order Reduction in Model Checking Database Applications.

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016