SATE 2010 Background Vadim Okun, NIST [email protected] October 1, 2010 The SAMATE Project
Declarative Distributed Programming with Dedalus and Bloom Peter Alvaro, Neil Conway UC Berkeley.
Thrust IIA: Environmental State Estimation and Mapping
What Went Wrong?
Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with: David Saff, Yingyi Bu, Michael D. Ernst 1.