From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap

Publication
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings