学生研究発表:上田健司(コンピュータデザイン研究室)


上田健司君(学部4年)が2012年3月8日に国際ワークショップSASIMIにて研究発表を行いました。

発表タイトル:A Technique for SAT-based Test Generation through History of Reusing Solutions