3 citations · 5 across the 9 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2013★ 1 cited
Bit Rate of Programs
Cewei Cui, Zhe Dang, Thomas R. Fischer
A program can be considered as a device that generates discrete time signals, where a signal is an execution. Shannon information rate, or bit rate, of the signals may not be unifo…
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…