Test Case Selection Based on Path Condtions of Symbolic Execution

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]

Authors

Kazuki Munakata

This author has not been identified. Look up 'Kazuki Munakata' in Google

Shoichiro Fujiwara

This author has not been identified. Look up 'Shoichiro Fujiwara' in Google

Susumu Tokumoto

This author has not been identified. Look up 'Susumu Tokumoto' in Google

Tadahiro Uehara

This author has not been identified. Look up 'Tadahiro Uehara' in Google