| 000 | 00892nam a22001817a 4500 | ||
|---|---|---|---|
| 040 | _cRiphah International University | ||
| 082 |
_a005.3 _bASI |
||
| 100 | _aAsif Raza (19665) | ||
| 245 | _aSpecification and testing of security specific authentication, access control and availability through OCL | ||
| 260 |
_aIslamabad _b(unpublished) _c2018 |
||
| 300 |
_aiv, 32 p. _b: ill. _c; 29 cm. _e+ CD |
||
| 500 | _aSubmitted in fulfillment of the requirements for the degree of Masters of Science in Software Engineering to the Faculty of Computing. | ||
| 500 | _aIncludes bibliographical references | ||
| 500 | _aThesis supervisor: Dr. Rizwan Bin Faiz | ||
| 502 | _aThesis (MS)--Riphah International University, 2018 | ||
| 546 | _aEnglish | ||
| 650 |
_aSpecification testing- Software _vEquivalence class partitioning _vMutation software- Testing _vObject constraint language _vSecurity modeling _vFC |
||
| 999 |
_c23856 _d23856 |
||