Boosting symbolic execution via constraint solving time prediction (experience paper)-Reference-Cited by-同舟云学术

Boosting symbolic execution via constraint solving time prediction (experience paper)

Published:2021-07-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Luo Sicheng¹,Xu Hui¹,Bi Yanxiang¹,Wang Xin¹,Zhou Yangfan¹

Affiliation:

1. Fudan University, China

Funder

National Natural Science Foundation of China

CERNET Research Grant

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3460319.3464813

Reference54 articles.

1. A Shape Comparison Reinforcement Method Based on Feature Extractors and F1-Score

2. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org.

3. Clark W. Barrett Roberto Sebastiani Sanjit A. Seshia and Cesare Tinelli. 2009. Satisfiability Modulo Theories. In Handbook of Satisfiability. 825–885. https://doi.org/10.3233/978-1-58603-929-5-825 10.3233/978-1-58603-929-5-825 Clark W. Barrett Roberto Sebastiani Sanjit A. Seshia and Cesare Tinelli. 2009. Satisfiability Modulo Theories. In Handbook of Satisfiability. 825–885. https://doi.org/10.3233/978-1-58603-929-5-825 10.3233/978-1-58603-929-5-825

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2024-03-12

2. Reinforcement Learning Guided Symbolic Execution for Ethereum Smart Contracts;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

3. Comparison between Performance of Constraint Solver for Prediction Model in Symbolic Execution;Communications in Computer and Information Science;2023-12-03

4. WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22

5. The integration of machine learning into automated test generation: A systematic mapping study;Software Testing, Verification and Reliability;2023-05-02