Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui. Effective Partial Order Reduction in Model Checking Database Applications. In 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016. pages 146-156, IEEE Computer Society, 2016. [doi]
Abstract is missing.