Automated software verification through empirical-based methods

The dissertation focuses on the key areas in software development where automated software verification can be applied.

Saved in:

Bibliographic Details
Main Author:	Asim Saghir Sheikh.
Other Authors:	Tan Hee, Beng Kuan
Format:	Theses and Dissertations
Published:	2008
Subjects:	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Online Access:	http://hdl.handle.net/10356/4301
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Nanyang Technological University

id	sg-ntu-dr.10356-4301
record_format	dspace
spelling	sg-ntu-dr.10356-43012023-07-04T15:06:07Z Automated software verification through empirical-based methods Asim Saghir Sheikh. Tan Hee, Beng Kuan School of Electrical and Electronic Engineering DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems The dissertation focuses on the key areas in software development where automated software verification can be applied. Master of Science (Communication Software and Networks) 2008-09-17T09:48:54Z 2008-09-17T09:48:54Z 2002 2002 Thesis http://hdl.handle.net/10356/4301 Nanyang Technological University application/pdf
institution	Nanyang Technological University
building	NTU Library
continent	Asia
country	Singapore Singapore
content_provider	NTU Library
collection	DR-NTU
topic	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
spellingShingle	DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems Asim Saghir Sheikh. Automated software verification through empirical-based methods
description	The dissertation focuses on the key areas in software development where automated software verification can be applied.
author2	Tan Hee, Beng Kuan
author_facet	Tan Hee, Beng Kuan Asim Saghir Sheikh.
format	Theses and Dissertations
author	Asim Saghir Sheikh.
author_sort	Asim Saghir Sheikh.
title	Automated software verification through empirical-based methods
title_short	Automated software verification through empirical-based methods
title_full	Automated software verification through empirical-based methods
title_fullStr	Automated software verification through empirical-based methods
title_full_unstemmed	Automated software verification through empirical-based methods
title_sort	automated software verification through empirical-based methods
publishDate	2008
url	http://hdl.handle.net/10356/4301
_version_	1772826165037236224

Automated software verification through empirical-based methods

Similar Items