Carlos Pacheco

Software · 2007–2009

A researcher in the Science corpus: 4 papers; trusts 10 researchers and is trusted by 29 researchers here, as inferred from the citation graph.

Subfields

• Software — 19 citations into it; #108 of 1,227 by trust here, #185 by citations
• Information Systems — 14 citations into it; #959 of 8,771 by trust here, #2,361 by citations
• Computational Theory and Mathematics — 5 citations into it

Whom Carlos Pacheco trusts overall

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

1. Christoph Csallner
2. Willem Visser
3. Yannis Smaragdakis
4. Koushik Sen
5. Tao Xie
6. John Hughes
7. Gul A. Agha
8. Shuvendu K. Lahiri
9. Michael D. Ernst
10. Corina S. Pasareanu

Who trusts Carlos Pacheco overall

1. Yuting Chen
2. Stephan Lukasczyk
3. Michele Tufano
4. Gordon Fraser
5. Zhendong Su
6. Nikolai Tillmann
7. Annibale Panichella
8. Sungmin Kang
9. Max Schäfer
10. Erik Krogh Kristensen

Papers from Carlos Pacheco's perspective

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

1. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
2. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
3. An empirical study of the robustness of Windows NT applications using random testing
4. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Test input generation with java PathFinder (International Symposium on Software Testing and Analysis)
6. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
7. JCrasher: an automatic robustness tester for Java (Software, Practice & Experience)
8. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (International Conference on Computer Aided Verification)
9. Simplify: a theorem prover for program checking (JACM)
10. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)

Their papers

• The Daikon system for dynamic detection of likely invariants (2007) — 1,243 citations
• Automatically patching errors in deployed software (2009) — 432 citations
• Feedback-Directed Random Test Generation (2007) — 944 citations
• Randoop: feedback-directed random testing for Java (2007) — 689 citations