Software testing and quality assurance: theory and practice