SASIMI in 2012

3/8,9に別府のビーコンプラザでSASIMIが行われました.
コンピュータデザイン研究室からは,
上田さんが”A technique for SAT-based test generation through history of reusing solutions”という題目で発表しました.
本当にお疲れさまでした.

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です