Gul A. Agha

Software · 2004–2006

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

Subfields

Whom Gul A. Agha trusts overall

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

  1. Koushik Sen
  2. Patrice Godefroid
  3. Sarfraz Khurshid
  4. Darko Marinov
  5. Willem Visser
  6. Clark W. Barrett
  7. George C. Necula
  8. Nils Klarlund
  9. Chandrasekhar Boyapati

Who trusts Gul A. Agha overall

  1. Nikolai Tillmann
  2. Koushik Sen
  3. Gordon Fraser
  4. Corina S. Pasareanu
  5. Yuting Chen
  6. Caroline Lemieux
  7. Adam Kiezun
  8. Sainyam Galhotra
  9. Suzette Person
  10. Armando Solar-Lezama

Papers from Gul A. Agha's perspective

Ordered by how strongly the researchers Gul A. Agha 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. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
  4. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  5. Test input generation with java PathFinder (International Symposium on Software Testing and Analysis)
  6. Lazy abstraction
  7. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  8. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  9. An empirical study of the robustness of Windows NT applications using random testing
  10. JCrasher: an automatic robustness tester for Java (Software, Practice & Experience)

Their papers