3 citations · 3 across the 2 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2005
Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach
Gaoyan Xie, Zhe Dang
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but could…
cs.SE2004★ 3 cited
Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components
Gaoyan Xie, Zhe Dang
Component-based software development has posed a serious challenge to system verification since externally-obtained components could be a new source of system failures. This issue…