A major goal of software engineering research is to develop techniques, methods and tools that may improve software quality. This thesis contributes to that goal. It is possible to assume two different views on quality ...