Software quality assurance : from theory to implementation - Galin, Daniel (2004)