EGT, EXE, Cristian Cadar
怪物一隻, 直接看他網頁比較快: Cristian Cadar: HomePage
兩篇 Paper: (其實是 Technology report)
Execution Generated Test Cases: How to Make Systems Code Crash Itself PDF
EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution PDF
把我們 Lab 最近想做的事都做光光 XD
這下可好了，我們連造輪子的份都沒了 XD
不過要作研究，還是要把輪子弄出來，至少現在可以確定，想做的輪子是圓的 XD