zbMATH参考文献（参考 6篇文章 参考）

1. Abdulla，Parosh Aziz；Atig，Mohamed Faouzi；Diep，Bui Phi；Holík，Lukš；Janků，Petr:无链字符串约束（2019年）
2. Amadini，Roberto；Andrlon，Mak；Gange，Graeme；Schachte，Peter；Søndergaard，Harald；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）
3. Arceri，Vincenzo；Olliaro，Martina；Cortesi，Agostino；Mastroeni，Isabella：JavaScript程序字符串分析的抽象域的完整性（2019）
4. 阿马蒂尼，罗伯托；弗莱纳，皮埃尔；皮尔森，贾斯汀；斯科特，约瑟夫D.；斯图基，彼得J.；塔克，吉多：带弦的迷你锌（2017）
5. Berzish，M.，Ganesh，V.，Zheng，Y.：Z3str3：具有理论意识分支的字符串解算器（2017）阿尔十四
6. Scott，Joseph D.；Flener，Pierre；Pearson，Justin；Schulte，Christian:有界长度序列变量的设计与实现（2017）