Searching for authors named "Carlos Pacheco" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
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
Showing 1 through 10.
