A state-of-practice on teaching software verification and validation

QR Code

A state-of-practice on teaching software verification and validation

Software testing is an essential activity in the software development process. Moreover, it covers a large part of the development costs involved. And, as the software tester is a key player in the testing activities that occur throughout the software lifecycle, the efficacy of such testing depends...

Full description

Bibliographic Details
Main Author:	Zakaria, Zulfa
Format:	Proceeding Paper
Language:	English
Published:	2009
Subjects:	TK7885 Computer engineering
Online Access:	http://irep.iium.edu.my/12858/ http://irep.iium.edu.my/12858/4/Zulfa_paper-view_SEE.pdf

Similar Items

FPGA-assisted assertion-based verification platform
by: Mohamad, Nurita, et al.
Published: (2020)

Development of a software package for the design of a microwave link
by: Islam, Md. Rafiqul, et al.
Published: (2014)

2-Channel AVM System: software tool for calibration
by: Sediono, Wahju
Published: (2018)

Development of terrain profile analysis software for radio link design in Malaysia
by: Islam, Md. Rafiqul, et al.
Published: (2014)

Laporan akhir: Pengembangan software database kimia organik berbasis struktur
by: Sediono, Wahju, et al.
Published: (2007)

Developing a finite difference time domain (fdtd) software for solving large electromagnetic problems
by: Islam, Md. Rafiqul
Published: (2012)

Development of spectrum management tool using open-source geographical information system (GIS) software
by: Saman, Mohamad Afif, et al.
Published: (2014)

Towards using CMU sphinx tools for the Holy Quran recitation verification
by: El Amrani, Mohamed Yassine, et al.
Published: (2016)

Program manual: Pengembangan software database kimia organik berbasis struktur (DB – ORGANIK) - implementasi teknologi datamining & knowledge discovery from database (KDD)
by: Nugroho, Anto Satriyo, et al.
Published: (2008)

Video compression techniques: an overview
by: Abomhara, Mohamed, et al.
Published: (2010)

Uncertainty in a spatial evacuation model
by: Mohd Ibrahim, Azhar, et al.
Published: (2017)

Intelligent evacuation management systems: A review
by: Mohd Ibrahim, Azhar, et al.
Published: (2016)

A novel approach to stuttered speech correction
by: Ajibola, Alim Sabur, et al.
Published: (2016)

Simulation of a MEMS piezoelectric energy harvester
by: Md Ralib @ Md Raghib, Aliza 'Aini, et al.
Published: (2010)

A comparative study on MEMS piezoelectric microgenerators
by: Md Ralib @ Md Raghib, Aliza 'Aini, et al.
Published: (2010)

Queue backlog as a node metric for RPL protocol
by: Abdullah M. A, Awad, et al.
Published: (2016)

A summarization of image and video databases for emotion recognition
by: Ashraf, Arselan, et al.
Published: (2020)

A road traffic simulator with parallel process ability
by: Handoko, D., et al.
Published: (2006)

Design and implementation of a smart mobile phone jammer
by: Chebil, Jalel, et al.
Published: (2012)

Design of a 5GHz phase-locked loop
by: Mohamad Ashari, Zainab, et al.
Published: (2011)

Prototyping of a situation awareness system in the maritime surveillance
by: Handayani, Dini, et al.
Published: (2013)

A calibration framework for swarming ASVs' system design
by: Zainal Abidin, Zulkifli
Published: (2012)

A scheme (Diff NEMO) for enhancing QoS in network mobility
by: Hussein, Loay Faisal, et al.
Published: (2015)

Development of a driver drowsiness monitoring system using electrocardiogram
by: Nor Shahrudin, Nur Shahirah, et al.
Published: (2018)

A review on emotion recognition algorithms using speech analysis
by: Gunawan, Teddy Surya, et al.
Published: (2018)

Throughput analysis for the mobility of a consumer and an anchorless producer in NDN
by: Ahmed, muhammed Zaharadeen, et al.
Published: (2019)

Development of a photoplethysmogram based heart abnormality detection technique
by: Umadi, Lina Fadhilah, et al.
Published: (2016)

A critical insight into multi-languages speech emotion databases
by: Ahmad Qadri, Syed Asif, et al.
Published: (2019)

A review of ECG data acquisition for driver drowsiness detection
by: Nor Shahrudin, Nur Shahirah, et al.
Published: (2020)

A computer based simulator for Erbium-Doped Fiber Amplifier
by: Naji, Ahmed Wathik, et al.
Published: (2010)

AntNet: a robust routing algorithm for data networks
by: Haseeb, Shariq, et al.
Published: (2004)

A scalable routing protocol for hybrid wireless mesh networks
by: Mahmod, Zainab Senan, et al.
Published: (2012)

A study of packet scheduling with mobile cellular channel impairments
by: Mohd. Ramli, Huda Adibah, et al.
Published: (2012)

Design of a high-speed, reconfigurable digital rank order filter
by: Toscano, George John, et al.
Published: (2009)

A single link flexible manipulator control using fuzzy logic
by: Hasan , M. A., et al.
Published: (2009)

Development of a photoplethysmography signal processing method for oxygen measurement concentration
by: Ahmed, Waiz, et al.
Published: (2015)

Securing electronic transactions via payment gateways: a systematic review
by: Olanrewaju, Rashidah Funke, et al.
Published: (2017)

A QoS awareness scheme sustaining seamless handover for network mobility
by: Loay F. Hussein, Loay F., et al.
Published: (2016)

Simulation of a surface transverse wave biosensor for DF-1 cells
by: Jamil, Nadira, et al.
Published: (2010)

A high performance data integrity assurance based on the determinant technique
by: Ghaeb, J. A., et al.
Published: (2011)