Title：A technique for SAT-based test generation through history of reusing solutions
Authors: Kenji Ueda, Fumiyuki Hafuri, Toshiya Mukai, Tsuyoshi Iwagaki, Hideyuki Ichihara, Tomoo Inoue
Jounrnals：Proc. 17th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI ’12)
Pages: 197-198
Published Month: 3
Published Year: 2012
Type: inproceedings
