In this thesis I created an Earth-image simulation and investigated Earth-tracking algorithms for the Mars Laser Communication Demonstration (MLCD). The MLCD mission will demonstrate the feasibility of high-data-rate laser ...

This thesis describes a technique that selects, from a large set of test inputs, a small subset likely to reveal faults in the software under test. The technique takes a program or software component, plus a set of correct ...

As eCommerce becomes more prevalent, good site design that can cater to users with different backgrounds and experience becomes increasingly important. While many web based applications provide customized content, these ...

This thesis proposes architectures and algorithms for digital acquisition of parametric signals. It furthermore provides bounds for the performance of these systems in the presence of noise. Our simple acquisition circuitry ...

This thesis explores a variety of educational feedback systems with an emphasis on developing them for in-class demonstrations and in-depth student projects. The nature of feedback systems means there is never a shortage ...

This dissertation presents techniques and tools for improving software reliability, by using an expressive string-constraint solver to make implementation-based testing more effective and more applicable. Concolic testing ...