BOOK-CHAPTER
Constraint Solving and Symbolic Execution
Year: 2008 Lecture notes in computer science Pages: 539-544 Publisher: Springer Science+Business Media
Keywords:
Computer science Correctness Programming language Compiler Symbolic execution Software engineering Program analysis Software Theoretical computer science
Metrics
11
Cited By
0.72
FWCI (Field Weighted Citation Impact)
18
Refs
0.68
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Software Testing and Debugging Techniques
Physical Sciences → Computer Science → Software
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Optimizing Constraint Solving to Better Support Symbolic Execution
Year: 2011 Pages: 310-315
JOURNAL ARTICLE
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442)
Christian CadarVijay GaneshRaimondas SasnauskasKoushik Sen
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2015
JOURNAL ARTICLE
Optimal Refinement-based Array Constraint Solving for Symbolic Execution
Meixi LiuZiqi ShuaiLuyao LiuKelin MaKe Ma
Year: 2022 Vol: abs/1302.4798 Pages: 299-308
JOURNAL ARTICLE
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution
Ziqi ShuaiZhenbang ChenYufeng ZhangHengbiao YuJi Wang
Year: 2023 Vol: 8 Pages: 661-662
JOURNAL ARTICLE
Partial Solution Based Constraint Solving Cache in Symbolic Execution
Ziqi ShuaiZhenbang ChenKelin MaKang LiuYufeng ZhangJun SunJi Wang
Journal: Proceedings of the ACM on software engineering. Year: 2024 Vol: 1 (FSE)Pages: 2493-2514