Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen. Test-based inference of polynomial loop-bound functions. In Andreas Krall, Hanspeter Mössenböck, editors, Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, PPPJ 2010, Vienna, Austria, September 15-17, 2010. pages 99-108, ACM, 2010. [doi]
Abstract is missing.