Davide Lorenzoli

2008 ACM/IEEE 30th International Conference on Software Engineering · 2008

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

Whom Davide Lorenzoli trusts overall

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

  1. Sudheendra Hangal
  2. Glenn Ammons
  3. David Detlefs
  4. Jinlin Yang
  5. Monica S. Lam
  6. Greg Nelson
  7. Rastislav Bodík
  8. David Evans

Who trusts Davide Lorenzoli overall

  1. Mark Gabel
  2. Earl T. Barr
  3. Zhendong Su
  4. Mark Harman

Papers from Davide Lorenzoli's perspective

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

  1. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  2. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. Simplify: a theorem prover for program checking (JACM)
  4. Perracotta: mining temporal API rules from imperfect traces (International Conference on Software Engineering)
  5. Bugs as deviant behavior: a general approach to inferring errors in systems code
  6. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  9. Houdini, an Annotation Assistant for ESC/Java (FME)
  10. Synthesis of interface specifications for Java classes (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers