We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a ...
確定! 回上一頁