A Logic-based Passive Testing Approach for the Validation of Communicating Protocols.

Xiaoping Che, Felipe Lalanne, Stephane Maag

Browse the full ENASE paper archive.