Automated software verification through empirical-based methods.
Asim Saghir Sheikh.
Date of Issue2002
School of Electrical and Electronic Engineering
The dissertation focuses on the key areas in software development where automated software verification can be applied.
DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Nanyang Technological University