Roberto Baldoni

Computer Networks and Communications · 2010–2018

A researcher in the Science corpus: 4 papers; trusts 13 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Roberto Baldoni trusts overall

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

  1. Patrice Godefroid
  2. Corina S. Pasareanu
  3. Dawson R. Engler
  4. Vijay Ganesh
  5. Koushik Sen
  6. Jamal Nazzal Al-Karaki
  7. Cristian Cadar
  8. David L. Dill
  9. Ken Ashcraft
  10. Neha Rungta

Papers from Roberto Baldoni's perspective

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

  1. Symbolic execution and program testing
  2. Hybrid Concolic Testing (International Conference on Software Engineering)
  3. A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
  4. Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. Z3: An Efficient SMT Solver
  6. Random Forests
  7. Scalable, Behavior-Based Malware Clustering
  8. Learning to Detect and Classify Malicious Executables in the Wild
  9. Data mining methods for detection of new malicious executables (Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001)
  10. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

Their papers