A 2-Phase Method for Validation of Matching Pair Property with Case Studies of Operating Systems.

Kang Gui, Suraj Kothari

Browse the full ISSRE paper archive.