Formal engineering methods for software quality assurance.

Published in: Frontiers Comput. Sci. China (2012)

Keyphrases

quality assurance
quality control
computer vision
decision making
data sets
real world
training data
source code
monitoring system