Robert H. Bell Jr., Lizy Kurian John. Improved automatic testcase synthesis for performance model validation. In Arvind, Larry Rudolph, editors, Proceedings of the 19th Annual International Conference on Supercomputing, ICS 2005, Cambridge, Massachusetts, USA, June 20-22, 2005. pages 111-120, ACM, 2005. [doi]
Abstract is missing.