Ilya Wagner, Valeria Bertacco, Todd M. Austin. StressTest: an automatic approach to test generation via activity monitors. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 783-788, ACM, 2005. [doi]
Abstract is missing.