符号执行 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "符号执行" in Chinese language version.

Last modified: 02:25:41, 18 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank Chinese rank

87doi.org

2^nd place

5^th place

66web.archive.org

1^st place

22google.com.sg

low place

8,629^th place

22acm.org

1,200^th place

956^th place

21archive.org

6^th place

2^nd place

11microsoft.com

263^rd place

193^rd place

11usenix.org

7,359^th place

4,165^th place

11ncsu.edu

2,653^rd place

3,777^th place

11umn.edu

1,293^rd place

1,737^th place

11umd.edu

1,356^th place

1,543^rd place

11worldcat.org

4^th place

acm.org (Global: 1,200^th place; Chinese: 956^th place)

dl.acm.org

Ma, Kin-Keung; Phang, Khoo Yit; Foster, Jeffrey S.; Hicks, Michael. Directed symbolic execution. Proceedings of the 18th international conference on Static analysis. SAS'11 (Venice, Italy: Springer-Verlag). 2011-09-14: 95–111 [2021-05-09]. ISBN 978-3-642-23701-0. doi:10.5555/2041552.2041563. （原始内容存档于2022-01-21）.
Cadar, Cristian; Dunbar, Daniel; Engler, Dawson. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. OSDI'08. 2008-01-01: 209–224 [2021-05-09]. （原始内容存档于2018-12-01）.

archive.org (Global: 6^th place; Chinese: 2^nd place)

DeMillo, Rich; Offutt, Jeff. Constraint-Based Automatic Test Data Generation. IEEE Transactions on Software Engineering. 1991-09-01, 17 (9): 900–910. doi:10.1109/32.92910.

doi.org (Global: 2^nd place; Chinese: 5^th place)

Sen, Koushik. Concolic testing. Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering. ASE '07 (Atlanta, Georgia, USA: Association for Computing Machinery). 2007-11-05: 571–572. ISBN 978-1-59593-882-4. doi:10.1145/1321631.1321746.
Bryant, Randal E. Symbolic simulation—techniques and applications. Proceedings of the 27th ACM/IEEE Design Automation Conference. DAC '90 (Orlando, Florida, USA: Association for Computing Machinery). 1991-01-03: 517–521. ISBN 978-0-89791-363-8. doi:10.1145/123186.128296.
Anand, Saswat; Patrice Godefroid; Nikolai Tillmann. Demand-Driven Compositional Symbolic Execution. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 4963. 2008: 367–381. ISBN 978-3-540-78799-0. doi:10.1007/978-3-540-78800-3_28.
Ma, Kin-Keung; Phang, Khoo Yit; Foster, Jeffrey S.; Hicks, Michael. Directed symbolic execution. Proceedings of the 18th international conference on Static analysis. SAS'11 (Venice, Italy: Springer-Verlag). 2011-09-14: 95–111 [2021-05-09]. ISBN 978-3-642-23701-0. doi:10.5555/2041552.2041563. （原始内容存档于2022-01-21）.
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George. Efficient State Merging in Symbolic Execution. Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM. 2012-01-01: 193–204. ISBN 978-1-4503-1205-9. doi:10.1145/2254064.2254088.
DeMillo, Rich; Offutt, Jeff. Constraint-Based Automatic Test Data Generation. IEEE Transactions on Software Engineering. 1991-09-01, 17 (9): 900–910. doi:10.1109/32.92910.
Chipounov, Vitaly; Kuznetsov, Volodymyr; Candea, George. The S2E Platform: Design, Implementation, and Applications. ACM Trans. Comput. Syst. 2012-02-01, 30 (1): 2:1–2:49. ISSN 0734-2071. doi:10.1145/2110356.2110358.

google.com.sg (Global: low place; Chinese: 8,629^th place)

scholar.google.com.sg

James C. Kings. Symbolic Execution and Program Testing. Communications of the ACM. 1976, 19: 385-394.
Cristian Cadar, Vijay Ganesh, Peter Pawlowski, David Dill, Dawson Engler. EXE: A system for automatically generating inputs of death using symbolic execution. Proceedings of the ACM Conference on Computer and Communications Security. 2006.

microsoft.com (Global: 263^rd place; Chinese: 193^rd place)

docs.microsoft.com

Mikejo5000. Dynamic symbolic execution - Visual Studio. docs.microsoft.com. [2021-05-09] （美国英语）.

ncsu.edu (Global: 2,653^rd place; Chinese: 3,777^th place)

math.sciences.ncsu.edu

Symbolic Computation | Subgroup | Department of Mathematics | NC State University. math.sciences.ncsu.edu. [2021-05-09]. （原始内容存档于2022-01-05）（英语）.

umd.edu (Global: 1,356^th place; Chinese: 1,543^rd place)

cs.umd.edu

Turpie, Jonathan; Reisner, Elnatan; Foster, Jeffrey; Hicks, Michael. MultiOtter: Multiprocess Symbolic Execution (PDF). [2021-05-09]. （原始内容存档 (PDF)于2020-07-20）.

umn.edu (Global: 1,293^rd place; Chinese: 1,737^th place)

conservancy.umn.edu

Matt Staats， Corina Pasareanu. Parallel Symbolic Execution for Structural Test Generation∗ (PDF). International Symposium on Software Testing and Analysis. 2010 [2021-05-09]. （原始内容存档 (PDF)于2021-05-10）.

usenix.org (Global: 7,359^th place; Chinese: 4,165^th place)

static.usenix.org

Cristian Cadar, Daniel Dunbar, Dawson Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs (PDF). USENIX conference on Operating Systems Design and Implementation (OSDI). 2008: 209-224 [2021-05-09]. （原始内容存档 (PDF)于2022-02-03）.

web.archive.org (Global: 1^st place; Chinese: 1^st place)

Cristian Cadar, Daniel Dunbar, Dawson Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs (PDF). USENIX conference on Operating Systems Design and Implementation (OSDI). 2008: 209-224 [2021-05-09]. （原始内容存档 (PDF)于2022-02-03）.
Symbolic Computation | Subgroup | Department of Mathematics | NC State University. math.sciences.ncsu.edu. [2021-05-09]. （原始内容存档于2022-01-05）（英语）.
Ma, Kin-Keung; Phang, Khoo Yit; Foster, Jeffrey S.; Hicks, Michael. Directed symbolic execution. Proceedings of the 18th international conference on Static analysis. SAS'11 (Venice, Italy: Springer-Verlag). 2011-09-14: 95–111 [2021-05-09]. ISBN 978-3-642-23701-0. doi:10.5555/2041552.2041563. （原始内容存档于2022-01-21）.
Matt Staats， Corina Pasareanu. Parallel Symbolic Execution for Structural Test Generation∗ (PDF). International Symposium on Software Testing and Analysis. 2010 [2021-05-09]. （原始内容存档 (PDF)于2021-05-10）.
Cadar, Cristian; Dunbar, Daniel; Engler, Dawson. KLEE: Unassisted and Automatic Generation of High-coverage Tests for Complex Systems Programs. Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. OSDI'08. 2008-01-01: 209–224 [2021-05-09]. （原始内容存档于2018-12-01）.
Turpie, Jonathan; Reisner, Elnatan; Foster, Jeffrey; Hicks, Michael. MultiOtter: Multiprocess Symbolic Execution (PDF). [2021-05-09]. （原始内容存档 (PDF)于2020-07-20）.

worldcat.org (Global: 4^th place; Chinese: 4^th place)

Chipounov, Vitaly; Kuznetsov, Volodymyr; Candea, George. The S2E Platform: Design, Implementation, and Applications. ACM Trans. Comput. Syst. 2012-02-01, 30 (1): 2:1–2:49. ISSN 0734-2071. doi:10.1145/2110356.2110358.

符号执行 (Chinese Wikipedia)

acm.org (Global: 1,200th place; Chinese: 956th place)

dl.acm.org

archive.org (Global: 6th place; Chinese: 2nd place)

doi.org (Global: 2nd place; Chinese: 5th place)

google.com.sg (Global: low place; Chinese: 8,629th place)