符号执行 (Chinese Wikipedia)

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

refsWebsite

Global rank Chinese rank

7doi.org

2^nd place

23^rd place

6web.archive.org

1^st place

2google.com.sg

low place

1,346^th place

2acm.org

1,185^th place

809^th place

1microsoft.com

153^rd place

238^th place

1usenix.org

5,990^th place

4,780^th place

1ncsu.edu

2,542^nd place

4,015^th place

1umn.edu

1,266^th place

1,781^st place

1umd.edu

1,747^th place

1,773^rd place

1worldcat.org

5^th place

12^th place

acm.org

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）.

doi.org

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

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

docs.microsoft.com

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

ncsu.edu

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

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

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

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

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

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.