Testing and debugging message passing applications based on the synergy of program and specification executions.
Zacharias TsiatsoulisJohn Yiannis CotronisEvangelos FlorosPublished in: PDP (1999)
Keyphrases
- message passing
- software testing
- belief propagation
- fault localization
- test cases
- distributed systems
- hardware designs
- java programs
- shared memory
- factor graphs
- inference in graphical models
- probabilistic inference
- formal verification
- distributed shared memory
- graphical models
- markov random field
- sum product
- approximate inference
- novice programmers
- sum product algorithm
- matrix multiplication
- message passing interface
- ldpc codes
- high resolution
- pairwise
- programming environment