Publisher's Synopsis
Contains 22 papers from the May 1999 symposium. The 12 regular papers discuss distributed object systems, analysis, testing and debugging (validation) of concurrent programs, and applications and methods. Among the titles are state-based reproducible testing for CORBA applications, channel dependence analysis for slicing promela, systematic debuggi