Author:
Amadini Roberto,Andrlon Mak,Gange Graeme,Schachte Peter, Søndergaard Harald,Stuckey Peter J.
Publisher
Springer International Publishing
Reference52 articles.
1. Abdulla, P.A., et al.: Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, 18–23 June 2017, pp. 602–617 (2017)
2. Lecture Notes in Computer Science;PA Abdulla,2015
3. Lecture Notes in Computer Science;R Amadini,2017
4. Amadini, R., Gabbrielli, M., Mauro, J.: A multicore tool for constraint solving. In: Proceedings 24th International Joint Conference Artificial Intelligence, pp. 232–238. AAAI Press (2015)
5. Lecture Notes in Computer Science;R Amadini,2018
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parikh’s Theorem Made Symbolic;Proceedings of the ACM on Programming Languages;2024-01-05
2. Solving string constraints with Regex-dependent functions through transducers with priorities and variables;Proceedings of the ACM on Programming Languages;2022-01-12
3. CertiStr: a certified string solver;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
4. Westworld: Fuzzing-Assisted Remote Dynamic Symbolic Execution of Smart Apps on IoT Cloud Platforms;Annual Computer Security Applications Conference;2021-12-06
5. Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study;Logic-Based Program Synthesis and Transformation;2021