Generation of high quality tests for functional sensitizable paths.

Angela Krstic, Kwang-Ting Cheng

Browse the full VTS paper archive.