Karen Yorav Hardware and Software.. Verification and Testing, 3 conf., HVC 2007 Subjects--Topical Terms: Computer science, information & general works