Parallel stratified random testing for concurrent programs.

Canh Minh Do Kazuhiro Ogata

Published in: QRS Companion (2020)

Keyphrases

concurrent programs
process algebra
concurrent programming
concurrent processes
parallel computing
shared memory
formal specification
concurrent systems
database
information systems
knowledge representation
sensor networks
building blocks
temporal logic