Sign in
Predicting Testability of Concurrent Programs.
Tingting Yu
Wei Wen
Xue Han
Jane Huffman Hayes
Published in:
ICST (2016)
Keyphrases
</>
concurrent programs
process algebra
concurrent programming
model checking
databases
relational databases
distributed databases
service oriented
concurrent processes