Testability guided hierarchical test generation with decision diagrams

statement of authorship
R.Ubar, J.Raik, T.Nõmmeots
location of publication
Copenhagen
publisher
year of publication
pages
p. 265-271