Leonardo Santanna Mariani

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 Leonardo Santanna Mariani trusts overall

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

  1. Sudheendra Hangal
  2. Glenn Ammons
  3. David Detlefs
  4. Jinlin Yang

Who trusts Leonardo Santanna Mariani overall

  1. Mark Gabel
  2. Earl T. Barr

Papers from Leonardo Santanna Mariani's perspective

Ordered by how strongly the researchers Leonardo Santanna Mariani 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