Testing and Debugging Message Passing Programs in Synergy With Their Specifications

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2000-41305