Stateless techniques for generating global and local test oracles for message-passing concurrent programs.

Richard H. Carver Yu Lei

Published in: J. Syst. Softw. (2018)

Keyphrases

message passing
concurrent programs
belief propagation
distributed systems
factor graphs
approximate inference
inference in graphical models
markov random field
test cases
graphical models
shared memory
distributed shared memory
sum product algorithm
sum product
high quality
reverse engineering