Kazuki Munakata, Shoichiro Fujiwara, Susumu Tokumoto, Tadahiro Uehara. Test Case Selection Based on Path Condtions of Symbolic Execution. In Karl R. P. H. Leung, Pornsiri Muenchaisri, editors, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. pages 318-321, IEEE, 2012. [doi]
Abstract is missing.