1. A state-based approach to integration testing based on UML models;Ali;Inf. Softw. Technol.,2007
2. Test-infected: programmers love writing tests;Beck,2000
3. Testing Object-Oriented Systems: Models, Patterns, and tools;Binder,1999
4. A subset of precise UML for model-based testing;Bouquet,2007
5. CCRA. Common Criteria for Information Technology Security Evaluation, http://www.commoncriteriaportal.org/.