Improving the accuracy of static analysis based on state partition | IEEE Conference Publication | IEEE Xplore