Muzammil Shahbaz

Software · 2015

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

Subfields

Whom Muzammil Shahbaz trusts overall

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

  1. Dana Angluin

Who trusts Muzammil Shahbaz overall

  1. Mark Harman

Papers from Muzammil Shahbaz's perspective

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

  1. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  3. Simplifying and Isolating Failure-Inducing Input (IEEE Trans. Software Eng.)
  4. Learning Regular Sets from Queries and Counterexamples
  5. Whole Test Suite Generation (IEEE Transactions on Software Engineering)
  6. Using formal specifications to support testing (CSUR)
  7. Formal specification: a roadmap (International Conference on Software Engineering)
  8. The Daikon system for dynamic detection of likely invariants (Science of Computer Programming)
  9. Symbolic execution and program testing
  10. Software Abstractions - Logic, Language, and Analysis

Their papers