Verification validation and testing in software engineering - Dasso; Funes (Idea Group Publisher, 2007)