Suzette Person

Software · 2008

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

Subfields

Whom Suzette Person trusts overall

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

  1. Koushik Sen
  2. Patrice Godefroid
  3. Corina S. Pasareanu
  4. Gregg Rothermel
  5. Gul A. Agha
  6. Nils Klarlund
  7. Tom Mens
  8. Sarfraz Khurshid
  9. Iulian Neamtiu
  10. Beat Fluri

Who trusts Suzette Person overall

  1. Gian Pietro Farina
  2. Stephen Chong

Papers from Suzette Person's perspective

Ordered by how strongly the researchers Suzette Person 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. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  4. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  5. EXE: automatically generating inputs of death
  6. Hybrid Concolic Testing (International Conference on Software Engineering)
  7. Software Verification with BLAST (SPIN)
  8. The SLAM project: debugging system software via static analysis
  9. Test-suite reduction and prioritization for modified condition/decision coverage (Proceedings IEEE International Conference on Software Maintenance. ICSM 2001)
  10. Whole program path-based dynamic impact analysis (25th International Conference on Software Engineering, 2003. Proceedings.)

Their papers