Author :
Arne A. Nilsson استاد مشاور , Mladen A. Vouk استاد مشاور , S. Purush Iyer استاد مشاور , Kuo-Chung Tai استاد راهنما
Keyword :
Pairwise Testing , Software Testing , Software Verification , Reachability Testing , Reachability Analysis , Concurrent Systems