John A. Clark

Software · 2013

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

Subfields

Whom John A. Clark trusts

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

  1. G. Ruhe (in Information Systems)
  2. Phil McMinn (in Software)

Papers from John A. Clark's perspective

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

  1. Constructing test suites for interaction testing (25th International Conference on Software Engineering, 2003. Proceedings.)
  2. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  3. Hybrid Concolic Testing (International Conference on Software Engineering)
  4. Covering arrays for efficient fault characterization in complex configuration spaces (IEEE Transactions on Software Engineering)
  5. Z3: An Efficient SMT Solver
  6. Combining unit-level symbolic execution and system-level concrete execution for testing nasa software (International Symposium on Software Testing and Analysis)
  7. Handbook of Metaheuristics
  8. A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search (IEEE Transactions on Software Engineering)
  9. Search‐based software test data generation: a survey (Software testing, verification & reliability)
  10. A Test Generation Strategy for Pairwise Testing (IEEE Trans. Software Eng.)

Their papers