学生研究発表:上田健司(コンピュータデザイン研究室)
上田健司君(学部4年)が2012年3月8日に国際ワークショップSASIMIにて研究発表を行いました。
発表タイトル:A Technique for SAT-based Test Generation through History of Reusing Solutions
上田健司君(学部4年)が2012年3月8日に国際ワークショップSASIMIにて研究発表を行いました。
発表タイトル:A Technique for SAT-based Test Generation through History of Reusing Solutions