Software System Testing and Quality Assurance (Van Nostrand Reinhold Electrical/computer Science and Engineering Series)