collaborators

1 paper

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…