Testing and Debugging Message Passing Programs in Synergy with their Specifications.
Zacharias TsiatsoulisJohn Yiannis CotronisPublished in: Fundam. Informaticae (2000)
Keyphrases
- message passing
- belief propagation
- software testing
- java programs
- distributed systems
- hardware designs
- probabilistic inference
- shared memory
- factor graphs
- novice programmers
- inference in graphical models
- graphical models
- approximate inference
- markov random field
- sum product algorithm
- ldpc codes
- sum product
- distributed shared memory
- loopy belief propagation
- message passing interface
- test cases
- parallel programming
- preprocessing
- programming environment
- test suite
- graph cuts