Automated test generation and test point selection for specification test of analog circuits | IEEE Conference Publication | IEEE Xplore