Ang Li, Mingsong Chen. Efficient self-learning techniques for SAT-based test generation. In Ahmed Jerraya, Luca P. Carloni, Naehyuck Chang, Franco Fummi, editors, Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012. pages 197-206, ACM, 2012. [doi]
Abstract is missing.