![](/img/cover-not-exists.png)
[IEEE 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) - Effective Partial Order Reduction in Model Checking Database Applications
Ghafoor, Maryam Abdul, Mahmood, Muhammad Suleman, Siddiqui, Junaid HaroonYear:
2016
Language:
english
DOI:
10.1109/icst.2016.25
File:
PDF, 567 KB
english, 2016