Searching for authors named "Carlos Pacheco" – sorted by Relevance.
-
2005), Time-lapse travel time change of multiply scattered acoustic waves
- Time-lapse travel time change of multiply scattered acoustic waves Carlos Pacheco Center for Wave
- Cited by 1 (1 self) – Add To MetaCart
-
SEG International Exposition and Seventy-Third Annual Meeting Main Menu Main Menu Time-lapse Monitoring with Multiply Scattered Waves
- -lapse Monitoring with Multiply Scattered Waves Carlos Pacheco ∗ and Roel Snieder Center for Wave Phenomena
- Add To MetaCart
-
Directed Random Testing
- Directed Random Testing by Carlos Pacheco B.S., University of Texas at Austin (2001) S
- Add To MetaCart
-
Eclat: Automatic generation and classification of test inputs
- Eclat: Automatic Generation and Classification of Test Inputs Carlos Pacheco and Michael D. Ernst
- Cited by 54 (9 self) – Add To MetaCart
-
Reasoning about TLA Actions
- Reasoning about TLA Actions Undergraduate Honors Thesis Carlos Pacheco The University of Texas
- Add To MetaCart
-
Finding Errors in .NET with Feedback-Directed Random Testing
- intentionally left blank. Finding Errors in .NET with Feedback-Directed Random Testing Abstract Carlos Pacheco
- Cited by 1 (1 self) – Add To MetaCart
-
An empirical comparison of automated generation and classification techniques for object-oriented unit testing
- -Oriented Unit Testing Marcelo d’Amorim 1 , Carlos Pacheco 2 , Tao Xie 3 , Darko Marinov 1 , Michael D. Ernst 2 1
- Cited by 20 (6 self) – Add To MetaCart
-
Feedback-directed random test generation
- Feedback-directed Random Test Generation Carlos Pacheco 1 , Shuvendu K. Lahiri 2 , Michael D
- Cited by 26 (8 self) – Add To MetaCart
-
Finding the needles in the haystack: Generating legal test inputs for object-oriented programs
- Shay Artzi Michael D. Ernst Adam Kie.zun Carlos Pacheco Jeff H. PerkinsMIT CSAIL 32 Vassar Street
- Cited by 13 (7 self) – Add To MetaCart
-
The Daikon system for dynamic detection of likely invariants
- , Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao Abstract MIT Computer
- Cited by 33 (2 self) – Add To MetaCart

