Automatic test generation for maximal diagnosis of linear analog circuits | IEEE Conference Publication | IEEE Xplore