Test Case Generation Technique Based on Extended Coverability Trees.

Tomohiko Takagi, Zengo Furukawa

Browse the full SNPD paper archive.