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
突然有靈感，想寫 “eXtreme Primacy” 版本的 “Hello World”.
原來光是 printf 的實做也可探討這麼多。
Comment by jserv — August 6th, 2006 @ 11:00
呵呵，应该是他的老师Dawson Engler比较是怪物才对吧，真的很厉害。
我看了他们的paper后觉得也是五体投地。
你做什么研究，bug finding么？
Comment by Wei — April 10th, 2007 @ 00:15
Bug finding，差不多吧，反正做 software quality 相關的東西，總是在繞著 fault localization、fault isolation、coverage 打轉。
Comment by lwhsu — April 10th, 2007 @ 00:52