Jaan Raik Uljana Reinsalu Raimund Ubar Maksim Jenihhin Peeter Ellervee Code Coverage Analysis using High-Level Decision Diagrams. 201-206 2008 DDECS http://dx.doi.org/10.1109/DDECS.2008.4538786 conf/ddecs/2008 db/conf/ddecs/ddecs2008.html#RaikRUJE08