Michael Y. Levin

Software · 2008–2012

A researcher in the Science corpus: 3 papers; trusts 17 researchers and is trusted by 14 researchers here, as inferred from the citation graph.

Subfields

Whom Michael Y. Levin trusts overall

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

  1. Patrice Godefroid
  2. Koushik Sen
  3. Cristian Cadar
  4. Nicholas Nethercote
  5. Gogul Balakrishnan
  6. Nils Klarlund
  7. Darko Marinov
  8. John E. Hopcroft
  9. Gary Wassermann
  10. Chandrasekhar Boyapati

Who trusts Michael Y. Levin overall

  1. Patrice Godefroid
  2. Junjie Wang
  3. Cornelius Aschermann
  4. Koushik Sen
  5. Cristian Cadar
  6. Bihuan Chen
  7. Jibesh Patra
  8. Jacob Burnim
  9. Adam Kiezun
  10. Stefano Ermon

Papers from Michael Y. Levin's perspective

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

  1. Symbolic execution and program testing
  2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. EXE: automatically generating inputs of death
  4. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  5. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  6. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
  7. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  8. Hybrid Concolic Testing (International Conference on Software Engineering)
  9. Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. Vigilante: end-to-end containment of internet worms (Symposium on Operating Systems Principles)

Their papers