Multi-valued constant propagation for the reengineering of user interfaces | IEEE Conference Publication | IEEE Xplore