High-Level Decision Diagrams based coverage metrics for verification and test

Maksim Jenihhin, Jaan Raik, Anton Chepurov, Uljana Reinsalu, Raimund Ubar. High-Level Decision Diagrams based coverage metrics for verification and test. In 10th Latin American Test Workshop, LATW 2009, Rio de Janeiro, Brazil, March 2-5, 2009. pages 1-6, IEEE, 2009. [doi]

Authors

Maksim Jenihhin

This author has not been identified. Look up 'Maksim Jenihhin' in Google

Jaan Raik

This author has not been identified. Look up 'Jaan Raik' in Google

Anton Chepurov

This author has not been identified. Look up 'Anton Chepurov' in Google

Uljana Reinsalu

This author has not been identified. Look up 'Uljana Reinsalu' in Google

Raimund Ubar

This author has not been identified. Look up 'Raimund Ubar' in Google