Tielei Wang
Software · 2010
A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 6 researchers here, as inferred from the citation graph.
Subfields
- Software — 9 citations into it; #575 of 1,227 by trust here, #456 by citations
Whom Tielei Wang trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Vijay Ganesh
- Cristian Cadar
- Patrice Godefroid
- Nicholas Nethercote
- Weidong Cui
- Paolo Milani Comparetti
- David L. Dill
- Julian Seward
- Michael Y. Levin
- Dawson R. Engler
Who trusts Tielei Wang overall
- Junjie Wang
- Peng Chen
- Bihuan Chen
- Cornelius Aschermann
- Lucas Davi
- Marcel Böhme
- Xiaogang Zhu
- Sanjay Rawat
- Valentin J. M. Manès
- Van-Thuan Pham
Papers from Tielei Wang's perspective
Ordered by how strongly the researchers Tielei Wang trusts endorse each paper. Same corpus, a different order for every researcher.
- EXE: automatically generating inputs of death
- CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
- Polyglot: automatic extraction of protocol message format using dynamic binary analysis (Conference on Computer and Communications Security)
- A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
- Discoverer: Automatic Protocol Reverse Engineering from Network Traces (USENIX Security Symposium)
- Fuzzing: Brute Force Vulnerability Discovery
- Grammar-based whitebox fuzzing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)