The domain knowledge-based software test model researches | IEEE Conference Publication | IEEE Xplore