Program Analysis @ Illinois Automated Software Engineering Group

• String Analysis
• Defect Detection
• Software Metrics/Reverse Engineering

String Analysis

• Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, and Hong Mei. Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis. In Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2012), Research Triangle Park, NC, November 2012. [PDF][BibTeX]
• Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun. Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String Taint Analysis. IEEE Transactions on Software Engineering. [BibTeX]
• A previous version appeared in Proceedings of ICSE 2009.
• Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun. Locating Need-to-Translate Constant Strings in Web Applications. In Proceedings of the 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2010), Santa Fe, NM, pages 87-96, November 2010. [PDF][BibTeX]
• Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun. TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Formal Demonstration, Vancouver, Canada, pp. 555-558, May 2009. [PDF].[BibTeX]
• Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, and Jiasu Sun. Locating Need-to-Translate Constant Strings for Software Internationalization. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, pp. 353-363, May 2009. [PDF][BibTeX]
• Evan Martin and Tao Xie. Understanding Software Application Interfaces via String Analysis. In Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Emerging Results Track, Shanghai, China, pp. 901-904, May 2006. [PDF][BibTeX]

Defect Detection

• Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann. DyTa: Dynamic Symbolic Execution Guided with Static Verification Results. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, pp. 992-994, May 2011. [PDF][BibTeX]
• Guangtai Liang, Ling Wu, Qian Wu, Qianxiang Wang, Tao Xie, and Hong Mei. Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, pages 93-102, September 2010. [PDF][BibTeX]
• Christoph Csallner, Yannis Smaragdakis, and Tao Xie. DSD-Crasher: A Hybrid Analysis Tool for Bug Finding. ACM Transactions on Software Engineering and Methodology, Vol. 17, Issue 2, pp. 345-371, July 2008. [PDF][BibTeX]
• Mithun Acharya, Tanu Sharma, Jun Xu, and Tao Xie. Effective Generation of Interface Robustness Properties for Static Analysis. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Short Paper, Tokyo, Japan, pp. 293-296, September 2006. [PDF][BibTeX]

Software Metrics/Reverse Engineering

• Hong Mei, Tao Xie, and Fuqing Yang. A Model-based Approach to Object-Oriented Software Metrics. Journal of Computer Science and Technology, Vol.17, No.6, pp.757-769, November 2002. [PDF][BibTeX]
• Hong Mei, Tao Xie, Wanghong Yuan, and Fuqing Yang. Component Metrics in Jade Bird Component Library System. Journal of Software, Vol. 11, No.5, pp.634-641, May 2000. [BibTeX]
• Tao Xie, Wanghong Yuan, Hong Mei, and Fuqing Yang. JBOOMT: Jade Bird Object-Oriented Metrics Tool. Chinese Journal of Electronics, Vol. 9, No.2, pp.202-207, April 2000. [PDF][BibTeX]
• Hong Mei, Tao Xie, and Fuqing Yang. JBOORET: an Automated Tool to Recover OO Design and Source Models. In Proceedings of the 25th Anniversary Annual International Computer Software and Applications Conference (COMPSAC 2001), Chicago, Illinois, pp. 71-76, October 2001. [PDF][BibTeX][Slides]
• Wanghong Yuan, Xiangkui Chen, Tao Xie, Hong Mei, and Fuqing Yang. C++ Program Information Database for Analysis Tools. In Proceedings of the 1998 Conference on Technology of Object-Oriented Languages and Systems (TOOLS 27), Beijing, China, pp. 173-180, September 1998. [PDF][BibTeX][Slides]