Kuntal Nanshi Fabio Somenzi Improved Visibility in One-to-Many Trace Concretization. 819-824 2008 DATE http://dx.doi.org/10.1109/DATE.2008.4484775 conf/date/2008 db/conf/date/date2008.html#NanshiS08