00892nam a22001817a 4500 Riphah International University 005.3 ASI Asif Raza (19665) Specification and testing of security specific authentication, access control and availability through OCL Islamabad (unpublished) 2018 iv, 32 p. : ill. ; 29 cm. + CD 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 English Specification testing- Software Equivalence class partitioning Mutation software- Testing Object constraint language Security modeling FC 0 0 0 1 RIU RIU 2018-12-23 Riphah International University 0 005.3 ASI 50200 2018-12-23 00:00:00 1 2018-12-23 TH 23856 23856