Asif Raza (19665) <br/><br/>
Specification and testing of security specific authentication, access control and availability through OCL 

 - Islamabad  (unpublished)  2018 
 - iv, 32 p.  : ill.  ; 29 cm.  + CD 
<br/><br/> 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 
<br/><br/>Thesis (MS)--Riphah International University, 2018 
<br/><br/><br/>English 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Specification testing- Software--Equivalence class partitioning--Mutation software- Testing--Object constraint language--Security modeling--FC
<br/><br/><label>Dewey Class. No.: </label>005.3  / ASI