Koushik Sen. Automated Test Generation Using Concolic Testing. In Srinivas Padmanabhuni, Raghu Nambiar, Premkumar T. Devanbu, Murali Krishna Ramanathan, Ashish Sureka, editors, Proceedings of the 8th India Software Engineering Conference, ISEC 2015, Bangalore, India, February 18-20, 2015. pages 9, ACM, 2015. [doi]
Abstract is missing.