Knowledge-Based Functional Testing for Large Software Systems. | AMiner