Techniques for evaluating the robustness of Windows NT software | IEEE Conference Publication | IEEE Xplore