Yun-Kwan Kim, Doo-Hyun Kim, Tae Wan Kim, Chun-Hyon Chang. Automatic Analysis of Static Execution Time for Complex Loop Contained External Input. In Jasni Mohamad Zain, Wan Maseri Binti Wan Mohd, Eyas El-Qawasmeh, editors, Software Engineering and Computer Systems - Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III. Volume 181 of Communications in Computer and Information Science, pages 119-129, Springer, 2011. [doi]
Abstract is missing.