1. Evaluation of three specification-based testing criteria;Abdurazik,2000
2. Introduction to Software Testing;Ammann,2008
3. Protocol testing: review of methods and relevance for software testing;Bochmann,1994
4. A mutation model for the systemC TLM 2.0 commubication interfaces;Bombieri,2008
5. Test cases selection from SDL specifications;Bourhfir;Comput. Netw.,2001