Matthew B. Dwyer
Software · 2000–2008
A researcher in the Science corpus: 3 papers; trusts 9 researchers and is trusted by 10 researchers here, as inferred from the citation graph.
Subfields
- Software — 26 citations into it; #361 of 1,227 by trust here, #260 by citations
- Information Systems — 19 citations into it; #3,606 of 8,771 by trust here, #7,386 by citations
- Computational Theory and Mathematics — 7 citations into it; #7,907 of 12,182 by trust here, #2,931 by citations
Whom Matthew B. Dwyer trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Phil McMinn
- Koushik Sen
- Joao Marques-Silva
- Mark Harman
- Patrice Godefroid
- Zheng Li
- Corina S. Pasareanu
Who trusts Matthew B. Dwyer overall
- Mark Harman
- Dawson R. Engler
- Greg Nelson
- Shin Yoo
- Changhai Nie
- Sarfraz Khurshid
- Darko Marinov
- Shaz Qadeer
- Ranjit Jhala
- Gian Pietro Farina
Papers from Matthew B. Dwyer's perspective
Ordered by how strongly the researchers Matthew B. Dwyer trusts endorse each paper. Same corpus, a different order for every researcher.
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Hybrid Concolic Testing (International Conference on Software Engineering)
- Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
- The Current State and Future of Search Based Software Engineering (Future of Software Engineering (FOSE '07))
- Test-suite reduction and prioritization for modified condition/decision coverage (Proceedings IEEE International Conference on Software Maintenance. ICSM 2001)
- A Test Generation Strategy for Pairwise Testing (IEEE Trans. Software Eng.)
- Combining unit-level symbolic execution and system-level concrete execution for testing nasa software (International Symposium on Software Testing and Analysis)
- Covering arrays for efficient fault characterization in complex configuration spaces (IEEE Transactions on Software Engineering)
- Search Algorithms for Regression Test Case Prioritization (IEEE Transactions on Software Engineering)
- Whole program path-based dynamic impact analysis (25th International Conference on Software Engineering, 2003. Proceedings.)
Their papers
- Bandera: extracting finite-state models from Java source code (2000) — 1,284 citations
- Differential symbolic execution (2008) — 300 citations
- Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach (2008) — 332 citations