Identifying enumeration types modeled with symbolic constants | IEEE Conference Publication | IEEE Xplore