Effective Partial Order Reduction in Model Checking Database Applications

M. A. Ghafoor, M. S. Mahmood, and J. H. Siddiqui
IEEE International Conference on Software Testing, Verification and Validation (ICST 2016)

Abstract

(ICST 2016), Chicago, IL, April 2016. (Acceptance rate: 26%, 35/130)

BibTex

@inproceedings { icst2016,
author = { }, }