Testing and debugging message passing applications based on the synergy of program and specification executions.

Zacharias Tsiatsoulis, John Yiannis Cotronis, Evangelos Floros

Browse the full PDP paper archive.