Debin Gao

International Conference on Information, Communications and Signal Processing · 2008

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 5 researchers here, as inferred from the citation graph.

Whom Debin Gao trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Vijay Ganesh
  2. David L. Dill
  3. Cullen Linn

Who trusts Debin Gao overall

  1. Silvio Cesare
  2. Qian Feng
  3. Jannik Pewny
  4. Xiaojun Xu
  5. Steve Hanna
  6. Yang Xiang
  7. Behrad Garmany
  8. Chang Liu
  9. Rundong Zhou
  10. Ling Huang

Papers from Debin Gao's perspective

Ordered by how strongly the researchers Debin Gao trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
  2. Symbolic execution and program testing
  3. An Algorithm for Subgraph Isomorphism
  4. Obfuscation of executable code to improve resistance to static disassembly (Conference on Computer and Communications Security)
  5. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. EXE: automatically generating inputs of death
  7. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  8. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  9. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  10. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)

Their papers