E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products. - Lily Huang; Michael R. Smith 001; Albert Tran; James Miller 001 (ISSRE, 2008)

A Hardware-Assisted Tool for Fast, Full Code Coverage Analysis. - Albert Tran; Michael R. Smith 001; James Miller 001 (ISSRE, 2008)

A More Agile Approach to Embedded System Development. - Michael R. Smith 001; James Miller 001; Lily Huang; Albert Tran (IEEE Softw., 2009)