A system on visualization of program executive path and extraction of path sets - Zhimin, Cai (Array, 2001)