A Knowledge Based System for Selecting a Test Methodology for a PLA | IEEE Conference Publication | IEEE Xplore