A tool to test an operating system's robustness