Login / Signup
Testing Systems of Concurrent Black-boxes - an Automata-Theoretic and Decompositional Approach
Gaoyan Xie
Zhe Dang
Published in:
CoRR (2005)
Keyphrases
</>
black boxes
black box
test cases
knowledge representation
end users
pattern matching