Madanlal Musuvathi and Lin Tan. Automatically Generating Test Cases for Binary Code.
Timothy Sherwood and Lin Tan. Pattern Matching Technique for High Throughput Network Processing. (already licensed)
Madanlal Musuvathi and Lin Tan. Automatically Generating Test Cases for Binary Code.
Timothy Sherwood and Lin Tan. Pattern Matching Technique for High Throughput Network Processing. (already licensed)