Neha Rungta

International Conference on Automated Software Engineering · 2010

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

Whom Neha Rungta trusts overall

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

  1. Koushik Sen
  2. Patrice Godefroid
  3. Corina S. Pasareanu

Who trusts Neha Rungta overall

  1. Roberto Baldoni

Papers from Neha Rungta's perspective

Ordered by how strongly the researchers Neha Rungta 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. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  4. Combining unit-level symbolic execution and system-level concrete execution for testing nasa software (International Symposium on Software Testing and Analysis)
  5. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  7. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
  8. EXE: automatically generating inputs of death
  9. The economic impacts of inadequate infrastructure for software testing
  10. Test input generation with java PathFinder (International Symposium on Software Testing and Analysis)

Their papers