Sign in

Predicting Testability of Concurrent Programs.

Tingting YuWei WenXue HanJane Huffman Hayes
Published in: ICST (2016)
Keyphrases
  • concurrent programs
  • process algebra
  • concurrent programming
  • model checking
  • databases
  • relational databases
  • distributed databases
  • service oriented
  • concurrent processes