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