00863nam a22001697a 4500040003600000082001500036100002200051245011100073260003500184300003800219500013900257500004000396500004300436502005500479546001200534650014700546  cRiphah International University  a005.3bASI  aAsif Raza (19665)  aSpecification and testing of security specific authentication, access control and availability through OCL  aIslamabadb(unpublished)c2018  aiv, 32 p.b: ill.c; 29 cm.e+ CD  aSubmitted in fulfillment of the requirements for the degree of Masters of Science in Software Engineering to the Faculty of Computing.  aIncludes bibliographical references  aThesis supervisor: Dr. Rizwan Bin Faiz  aThesis (MS)--Riphah International University, 2018  aEnglish  aSpecification testing- SoftwarevEquivalence class partitioningvMutation software- TestingvObject constraint languagevSecurity modelingvFC