TY  - BOOK
AU  - Asif Raza (19665)
TI  - Specification and testing of security specific authentication, access control and availability through OCL
U1  - 005.3 
PY  - 2018///
CY  - Islamabad
PB  - (unpublished)
KW  - Specification testing- Software
KW  - Equivalence class partitioning
KW  - Mutation software- Testing
KW  - Object constraint language
KW  - Security modeling
KW  - FC
N1  - Submitted in fulfillment of the requirements for the degree of Masters of Science in Software Engineering to the Faculty of Computing; Includes bibliographical references; Thesis supervisor: Dr. Rizwan Bin Faiz; Thesis (MS)--Riphah International University, 2018
ER  -