software design group

Carlos Pacheco is a Ph.D. candidate in the Software Design Group. He received a BS in math and a BS in computer science from UT Austin in 2001, and an MS from MIT in 2005.

Carlos's research interests lie in software testing, with a current focus on randomized test case generation. Carlos has developed test generation techniques and tools that have found many errors in widely-used and well-tested applications, and are being used to test production code at Microsoft. He has also worked on test classification techniques that mechanically determine whether a program fails or passes a test, empirical comparisons of input generation techniques, and industrial case studies.

email: cpacheco@mit.edu
url: http://people.csail.mit.edu/cpacheco/