Enhancing Logic Error Detection Through Program Pseudocodes.

Zhenyu Xu, Victor S. Sheng

Browse the full APSEC paper archive.