Xiaoke Qin, Prabhat Mishra. Scalable Test Generation by Interleaving Concrete and Symbolic Execution. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 104-109, IEEE, 2014. [doi]
Abstract is missing.