Automatic Construction of Complete Abstraction by Abstract Interpretation | IEEE Conference Publication | IEEE Xplore