タイトル：A technique for SAT-based test generation through history of reusing solutions
著者: Kenji Ueda, Fumiyuki Hafuri, Toshiya Mukai, Tsuyoshi Iwagaki, Hideyuki Ichihara, Tomoo Inoue
雑誌名：Proc. 17th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI ’12)
ページ: 197-198
発行月: 3
発行年: 2012
タイプ: inproceedings
