A Symbolic Model Checking Approach to the Analysis of String and Length Constraints

H.-E. WangS.-Y. ChenF. YuJ.-H. R. JiangJIE-HONG JIANG江介宏2019-10-242019-10-242018https://scholars.lib.ntu.edu.tw/handle/123456789/427584A Symbolic Model Checking Approach to the Analysis of String and Length Constraintsconference paper10.1145/3238147.32381892-s2.0-85056553779