Feasibility of structurally synthesized BDD models for test generation (title)

types of item