Items where Author is "Shukur, Zarina"

Ban, Ainita and Shukur, Zarina (2014) Formalizing voting protocol in process algebra. International Journal on Numerical and Analytical Methods in Engineering, 2 (2). pp. 28-32. ISSN 2281-7026; ESSN: 2281-7034

Abdul Samad, Pathiah and Mohd Zin, Abdullah and Shukur, Zarina (2011) Analysis of the model checkers' input languages for modeling traffic light systems. Journal of Computer Science, 7 (2). pp. 225-233. ISSN 1549-3636; ESSN: 1552-6607

Baharom, Salmi and Shukur, Zarina (2011) An experimental assessment of module documentation-based testing. Information and Software Technology, 53 (7). pp. 747-760. ISSN 0950-5849; ESSN: 1873-6025

Baharom, Salmi and Shukur, Zarina (2011) An experimental assessment of module documentation-based testing. Information and Software Technology, 53 (7). pp. 747-760. ISSN 0950-5849

Ban, Ainita and Shukur, Zarina (2012) Specifying voting protocol using CSP. In: 6th Malaysian Software Engineering Conference (MySec'12), 4-5 Dec. 2012, Bangi, Selangor. .

Baharom, Salmi and Shukur, Zarina (2009) Utilizing an abstraction relation document in grey-box testing approach. In: 2009 International Conference on Electrical Engineering and Informatics, 5-7 Aug. 2009, Selangor, Malaysia. (pp. 304-308).

Baharom, Salmi and Shukur, Zarina (2008) Module documentation based testing using grey-box approach. In: 3rd International Symposium on Information Technology (ITSim'08), 26-28 Aug. 2008, Kuala Lumpur, Malaysia. .