An experimental assessment of module documentation-based testing

by Baharom, Salmi, Shukur, Zarina
Published 2011

An experimental assessment of module documentation-based testing.

by Baharom, Salmi, Shukur, Zarina
Published 2011

Specifying voting protocol using CSP

by Ban, Ainita, Shukur, Zarina
Published 2012

Formalizing voting protocol in process algebra

by Ban, Ainita, Shukur, Zarina
Published 2014

Module documentation based testing using grey-box approach

by Baharom, Salmi, Shukur, Zarina
Published 2008

Utilizing an abstraction relation document in grey-box testing approach

by Baharom, Salmi, Shukur, Zarina
Published 2009

Analysis of the model checkers' input languages for modeling traffic light systems

by Abdul Samad, Pathiah, Mohd Zin, Abdullah, Shukur, Zarina
Published 2011

Rekabentuk sistem pemprosesan tesis secara automatik

by Salim, Juhana, Othman, Shahizan, Mohd. Salleh, Syahanim, Shukur, Zarina, Mohd. Zin, Abdullah, Hassan, Rosilah, Ayob, Masri
Published 2004

Pengkelasan dokumen web menggunakan teknik vector machine (SVM)

by Othman, Mohd. Shahizan, Dollah, Rozilawati @ Md. Zain, Mi Yusuf, Lizawati, Salim, Juhana, Shukur, Zarina, Chin, Mae Yen
Published 2005