Accurate String Constraints Solution Counting with Weighted Automata | IEEE Conference Publication | IEEE Xplore