Selected Papers

Selected Publications

Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao. Change Impact Analysis for AspectJ Programs. In Proc. 24th IEEE International Conference on Software Maintenance (ICSM 2008), Beijing, China, Sep 28- Oct 4, 2008. (to appear) (A previous version appeared as Technical Report SJTU-CSE-TR-07-01, Center for Software Engineering, Shanghai Jiao Tong University, January 2007)
Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao. AutoFlow: An Automatic Debugging Tool for AspectJ Software. In Proc. 24th IEEE International Conference on Software Maintenance (ICSM 2008), (Tool Demonstration Track), Beijing, China, Sep 28- Oct 4, 2008. (to appear)
Jianjun Zhao. Maintenance Support for Aspect-Oriented Programs: Opportunities and Challenges. In Proc. 24th IEEE International Conference on Software Maintenance (ICSM 2008), (Far East Track), Beijing, China, Sep 28- Oct 4, 2008. (to appear)
Qiang Sun and Jianjun Zhao. Aspect-Aware Points-to Analysis. In Proc.8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), Beijing, China, Sep 28-29, 2008. (to appear)
Sai Zhang , Zhongxian Gu, Yu Lin and Jianjun Zhao. AutoFlow: An Automatic Analysis Tool for Locating Failure-Inducing Changes. In International Symposium on Software Testing and Analysis (ISSTA 2008), (Poster Session), Seattle, WA, July 20-24 2008. (to appear)
Haihao Shen, Sai Zhang, and Jianjun Zhao. An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics. In Proc. 2nd IEEE Theoretical Aspects of Software Engineering Conference (TASE 2008), June 17-19, Nanjing, China.
Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao. Flota: A Programmer Assistant for Locating Faulty Changes in AspectJ Software Evolution. In Proc. 4th International Linking Aspect Technology and Evolution workshop (LATE 2008), April 1, Brussels, Belgium. (A previous version appears as Technical Report SJTU-CSE-TR-07-05 in Shanghai Jiao Tong University.)
Sai Zhang, Zhongxian Gu, Yu Lin, and Jianjun Zhao. Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs. In 30th International Conference on Software Engineering (ICSE 2008), (Informal Demonstration Track), May 10-18, 2008, Leipzig, Germany. (This work was also presented as an forum research demonstration in AOSD 08 demo, March 31-April 4th, 2008, Brussels, Belgium)
Sai Zhang and Jianjun Zhao. On Identifying Bug Patterns in Aspect-Oriented Programs. In Proc. 31st IEEE Annual International Computer Software and Applications Conference (COMPSAC'07), Vol. I, pp.431-438, Beijing, China, July 23-27, 2007.
Yi Wang and Jianjun Zhao. Specifying Pointcuts in AspectJ. In Proc. 31st IEEE Annual International Computer Software and Applications Conference (COMPSAC'07), Vol. II, pp.5-10, 3rd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2007), Beijing, China, July 23, 2007.
Tao Xie and Jianjun Zhao. Perspectives on Automated Testing of Aspect-Oriented Programs. In Proc. 3rd Workshop on Testing Aspect-Oriented Programs (WTAOP 2007), Vancouver, Canada, pp. 7-12, March 2007.
Jianjun Zhao, Cheng Zhang, Sibo Zhang, and Jiaming Zhang. An Overview of VeriJava Programming Systems. Technical Report SJTU-CSE-TR-06-01, Center for Software Engineering, Shanghai Jiao Tong University, October 2006. (A short version presented at 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao, China, October 2006)
Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin. Detecting Redundant Unit Tests for AspectJ rograms. In Proc. 17th IEEE International Conference on Software Reliability Engineering (ISSRE'06), pp.179-188, Raleigh, NC, November 2006. (A previous version appeared as Technical Report UW-CSE-04-10-03, Department of Computer Science and Engineering, University of Washington (Seattle, WA), October 2004)
Jianjun Zhao. Control-Flow Analysis and Representation of Aspect-Oriented Programs. In Proc. 6th International Conference on Quality Software (QSIC'06), pp.38-48 Beijing, China, October 26-28, 2006.
Jianjun Zhao, Tao Xie, and Nan Li. Towards Regression Test Selection for Aspect-Oriented Programs. In 2nd Workshop on Testing Aspect-Oriented Programs (WTAOP'06), Portland, Maine, July 2006.
Tao Xie and Jianjun Zhao. A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs. In Proc. 5th International Conference on Aspect-Oriented Software Development (AOSD'2006), pp.190-201, Bonn, Germany, March 2006. (A previous version appeared as Automated Test Generation for AspectJ Programs" by Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin in AOSD 2005 Workshop on Testing Aspect-Oriented Programs (WTAOP'05), Chicago, USA, March 2005)
Jianjun Zhao. Measuring Coupling in Aspect-Oriented Systems. In 10th International Software Metrics Symposium (METRICS'2004), (Late Breaking Paper), Chicago, USA, September 14-16, 2004. (A previous version appeared as Technical-Report SE-142-6, Information Processing Society of Japan (IPSJ), May 2003)
Jianjun Zhao and Baowen Xu. Measuring Aspect Cohesion. In Proc. Fundamental Approaches to Software Engineering (FASE'2004), LNCS 2984, pp.54-68, Springer-Verlag, Barcelona, Spain, March 29-31, 2004.
Jianjun Zhao. Data-Flow-Based Unit Testing of Aspect-Oriented Programs. In Proc. 27th Annual IEEE International Computer Software and Applications Conference (COMPSAC'2003), pp.188-197. Dallas, Texas, USA, November 2003. (A previous version appeared as Technical-Report SE-136-26, Information Processing Society of Japan (IPSJ), March 2002)
Masanori Iwamoto and Jianjun Zhao. Refactoring Aspect-Oriented Programs. In 4th AOSD Modeling with UML Workshop, UML'2003, San Francisco, California, USA, October 2003.
Jianjun Zhao and Martin Rinard. Pipa: A Behavioral Interface Specification Language for AspectJ. In Proc. Fundamental Approaches to Software Engineering (FASE'2003), LNCS 2621, pp.150-165, Springer-Verlag, April 2003.
Jianjun Zhao and Martin Rinard. System Dependence Graph Construction for Aspect-Oriented Programs. Technical Report MIT-LCS-TR-891, Laboratory for Computer Science, MIT, March 2003.
Jianjun Zhao, Hongji Yang, Limin Xiang, and Baowen Xu. Change Impact Analysis to Support Architectural Evolution. In Journal of Software Maintenance and Evolution: Research and Practice, Vol.14, No.5, pp.317-333, 2002, John Wiley & Sons.
Jianjun Zhao. Slicing Aspect-Oriented Software. In Proc. 10th IEEE International Workshop on Program Comprehension (IWPC'2002), pp.251-260, Paris, France, June 2002. (A previous version appeared as Technical-Report SE-135-7, Information Processing Society of Japan (IPSJ), November 2001)
Yuming Zhou, Baowen Xu, Jianjun Zhao, and Hongji Yang. ICBMC: An Improved Cohesion Measure for Classes. In Proc. IEEE International Conference on Software Maintenance, pp. 44-53, Montreal, Canada, October 2002.
Jianjun Zhao. Change Impact Analysis for Aspect-Oriented Software Evolution. In Proc. 5th International Workshop on Principles of Software Evolution, pp.108-112, ACM Press, Orlando, Florida, USA, May 2002.
Jianjun Zhao. Towards a Metrics Suite for Aspect-Oriented Software. Technical-Report SE-136-25, Information Processing Society of Japan (IPSJ), March 2002.
Jianjun Zhao. Dependence Analysis of Java Bytecode. In Proc. 24th IEEE Annual International Computer Software and Applications Conference (COMPSAC'2000), pp.486-491, Taipei, Taiwan, October 2000.
Jianjun Zhao. A Slicing-Based Approach to Extracting Reusable Software Architectures. In Proc. 4th European Conference on Software Maintenance and Reengineering (CSMR'2000), pp.215-223, IEEE Computer Society Press, Zurich, Switzerland, February 2000.
Jianjun Zhao. Multithreaded Dependence Graphs for Concurrent Java Programs. In Proc. 1999 International Symposium on Software Engineering for Parallel and Distributed Systems, pp.13-23, IEEE Computer Society Press, May 1999.
Jianjun Zhao. Slicing Concurrent Java Programs. In Proc. Seventh IEEE International Workshop on Program Comprehension (IWPC'99), pp.126-133, May 1999.
Jianjun Zhao. Applying Program Dependence Analysis to Java Software. In Proc. Workshop on Software Engineering and Database Systems, 1998 International Computer Symposium, pp.162-169, Tainan, Taiwan, December 1998.
Jianjun Zhao. Dynamic Slicing of Object-Oriented Programs. Technical-Report SE-98-119, pp.17-23, Information Processing Society of Japan (IPSJ), May 1998.
Jianjun Zhao. On Assessing the Complexity of Software Architectures. In Proc. 3rd International Software Architecture Workshop, pp.163-166, ACM SIGSOFT, ACM Press, November 1998.
Jianjun Zhao. Applying Slicing Technique to Software Architectures. In Proc. Fourth IEEE International Conference on Engineering of Complex Computer Systems, pp.87-98, August 1998.
Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima. A Metrics Suite for Concurrent Logic Programs .In Proc. 2nd Euromicro Conference on Software Maintenance and Reengineering, pp.172-178, IEEE Computer Society Press, March 1998.
Jianjun Zhao. Using Dependence Analysis to Support Software Architecture Understanding. In M. Li (Ed.), "New Technologies on Computer Software", pp.135-142, International Academic Publishers, September 1997.
Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima. Slicing Concurrent Logic Programs. In T. Ida, A. Ohori and M. Takeichi (Eds.), "Second Fuji International Workshop on Functional and Logic Programming", pp.143-162, World Scientific, 1997.
Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima. Static Slicing of Concurrent Object-Oriented Programs. In Proc. 20th IEEE Annual International Computer Software and Applications Conference, pp.312-320, August 1996.

Last updated: June 25, 2008
Jianjun Zhao (zhao-jj@cs.sjtu.edu.cn)