Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor. - Scott A. Taylor; Michael Quinn; Darren Brown; Nathan Dohm; Scot Hildebrandt; James Huggins 001; Carl Ramey (DAC, 1998)

Zen and the art of Alpha verification. - Nathan Dohm; Carl Ramey; Darren Brown; Scot Hildebrandt; James Huggins 001; Michael Quinn; Scott A. Taylor (ICCD, 1998)

Generalizing WYSIWYT visual testing to screen transition languages. - Darren Brown; Margaret M. Burnett; Gregg Rothermel; Hamido Fujita; Fumio Negoro (HCC, 2003)

End-User Testing for the Lyee Methodology using the Screen Transition Paradigm and WYSIWYT. - Darren Brown; Margaret M. Burnett; Gregg Rothermel (Knowl. Based Syst., 2003)

Integrating automated test generation into the WYSIWYT spreadsheet testing methodology. - Marc Fisher II; Gregg Rothermel; Darren Brown; Mingming Cao; Curtis R. Cook; Margaret M. Burnett (ACM Trans. Softw. Eng. Methodol., 2006)