Model-based protocol log generation for testing a telecommunication test harness using CLP.

Kenneth Balck, Olga Grinchtein, Justin Pearson

Browse the full DATE paper archive.