Effective Partial Order Reduction in Model Checking Database Applications.

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui

Browse the full ICST paper archive.