Shuvendu K. Lahiri

Software · 2007

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

Subfields

Whom Shuvendu K. Lahiri trusts overall

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

  1. Willem Visser
  2. Koushik Sen
  3. Christoph Csallner
  4. Tao Xie

Who trusts Shuvendu K. Lahiri overall

  1. Stephan Lukasczyk
  2. Yuting Chen
  3. Nikolai Tillmann
  4. Erik Krogh Kristensen
  5. Carlos Pacheco
  6. Gordon Fraser
  7. Michael D. Ernst
  8. Sainyam Galhotra
  9. Vaggelis Atlidakis
  10. Alex Groce

Papers from Shuvendu K. Lahiri's perspective

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

  1. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  4. An empirical study of the robustness of Windows NT applications using random testing
  5. Test input generation with java PathFinder (International Symposium on Software Testing and Analysis)
  6. JCrasher: an automatic robustness tester for Java (Software, Practice & Experience)
  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. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (International Conference on Computer Aided Verification)
  9. Mutation 2000: uniting the orthogonal
  10. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)

Their papers