Testing the robustness of Windows NT software | IEEE Conference Publication | IEEE Xplore