Invited Talks

        2011

1. Cooperative Analysis of Software Artifacts: How Human and Machine Cooperate to Get Work Done. Invited talk, 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Xi’an, China, May 2011
2. Automatic Extraction and Validation of Security Policies from Natural Language Documents. Invited talk, NIST Computer Security Division, Gaithersburg, MD, March 2011.
   
3. Cooperative Developer Testing: How Human and Machine Cooperate to Get Job Done. Invited talk, the Department of Computer Science at UC Davis, Davis, February 2011. [Slides]
   
4. Systematic Testing and Verification of Security Policies. Invited talk, Faculty of Science, Technology and Communication of the University of Luxembourg, Luxembourg, February 2011. [Slides]
   
   2010
   
   
5. Improving Software Reliability via Mining Software Engineering Data. Invited talk, School of Software, Sun Yat-sen University, Guangzhou, China, December 2010.
   
6. Improving Software Reliability via Mining Software Engineering Data. Invited talk, the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China, December 2010.
7. Mapping out a Research Agenda. Invited talk, Department of Computer Science, Peking University, Beijing, China, December 2010.
8. Automated Software Testing and Mining Software Engineering Data: Achievements and Challenges. Invited talk, Tencent, Inc., Beijing, China, December 2010. [Slides]
   
9. Automated Developer Testing: Achievements and Challenges. Invited talk, Institute of Information Technology, Guilin University of Electronic Technology, Guilin, China, September 2010.
10. How to Write Research Papers. Invited talk, Institute of Information Technology, Guilin University of Electronic Technology, Guilin, China, September 2010.
11. Systematic Testing and Verification of Security Policies. Invited talk, the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China, August 2010. [Slides]
12. Improving Software Reliability via Mining Software Engineering Data. Invited talk, IBM Research China Beijing, China, August 2010.
13. Improving Software Reliability via Mining Software Engineering Data. Invited talk, Microsoft Research Asia, Beijing, China, August 2010.
14. Automated Developer Testing: Achievements and Challenges. Invited talk, Microsoft Research Asia, Beijing, China, August 2010.
15. Automated Software Testing: Achievements and Challenges. Invited talk, Huawei Technologies Co., Ltd., Shenzhen, China, July 2010.
16. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Wuhan University, Wuhan, China, July 2010.
    
17. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Columbia University, NY, March 2010. [Slides]
    
    2009
    
    
18. Automated Developer Testing: Achievements and Challenges. Keynote talk, the 2nd CREST Open Workshop Software Testing (COW), CREST Centre, King's College London , December 2009.
    
19. Data Mining for Software Engineering: Achievements and Challenges. Invited talk, Department of Computer Science, East Carolina University, Greenville, NC, November 2009.
20. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Virginia Polytechnic Institute and State University, Blacksburg, VA, October 2009. [Slides]
21. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer and Information Science, Indiana University/Purdue University at Indianapolis, Indianapolis, IN, October 2009.
22. Automated Developer Testing: Achievements and Challenges. Invited talk, the Institute of Software, Chinese Academy of Sciences (ISCAS), Beijing, China, June 2009.
23. Data Mining for Software Engineering: Achievements and Challenges. Invited talk, Software Engineering Institute, East China Normal University, Shanghai, China, June 2009.
24. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Department of Computer Science, Nanjing University, Nanjing, China, June 2009.
25. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, China, June 2009.
26. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China, June 2009.
27. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science and Information Engineering, National Taiwan University, Taipei, Taiwan, June 2009.
28. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Tunghai University, Taichung, Taiwan, June 2009.
29. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, National Tsing Hua University, Hsinchu, Taiwan, June 2009.
30. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Tsinghua University, Beijing, China, June 2009.
31. Automated Developer Testing: Achievements and Challenges. Invited talk, Department of Computer Science, Peking University, Beijing, China, June 2009.
32. Mining Natural Language Information in Software Engineering. Invited talk, Protocol Engineering Team, Microsoft, Beijing, China, June 2009. 
33. Parameterized Unit Testing: Principles, Techniques, and Applications in Practice. Invited talk, Protocol Engineering Team, Microsoft, Beijing, June 2009. 
    
    2008
    
34. Fitness-Guided Path Exploration in Automated Test Generation. Invited talk, Department of Computer Science and Engineering, Michigan State University, November 2008. [Slides]
35. Fitness-Guided Path Exploration in Automated Test Generation. Invited talk, Department of Computer Science, the College of William and Mary, October 2008.
36. Improving Software Reliability via Automated Static and Dynamic Analysis. Invited talk, FDA Office of Science and Engineering Laboratories, Electrical and Software Engineering Group, October 2008.
37. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Department of Computer Science, Drexel University, Philadelphia, PA, September 2008.
38. Systematic Testing and Verification of Security Policies. Invited talk. National Institute of Standards and Technology (NIST) Computer Security Division Seminar, August 2008. [Slides]
39. Fitness-Guided Path Exploration in Dynamic Symbolic Execution. Invited talk, Foundation of Software Engineering Group, Microsoft Research, July 2008.
40. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Department of Electrical and Computer Engineering, Clarkson University, Potsdam, NY, April 2008.
    
    
2007


41. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Accenture Labs, Chicago, IL, October 2007. [Slides]
42. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Motorola Labs, Schaumburg, IL, October 2007.
43. Improving Software Productivity and Quality via Mining Program Source Code. Invited talk, Lane Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV, September 2007.
44. Improving Programmer Productivity via Mining Program Source Code. Invited talk, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, China, August 2007.
45. Improving Programmer Productivity via Mining Program Source Code. Invited talk, Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong, China, August 2007.
46. Mining Software Engineering Data. Invited talk, Software Engineering Institute, Peking University, Beijing, China, July 2007.
47. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Invited talk, Department of Computer Science, Beihang University, Beijing, China, July 2007.
48. Research Methodology on Software Testing. Invited talk, Software Engineering Research Group, Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China, July 2007.
49. Search-Based Symbolic Method Sequence Exploration for OO Unit Test Generation. Invited talk, Foundation of Software Engineering Group, Microsoft Research, June 2007.
50. Improving Programmer Productivity via Mining Program Source Code, Department of Computer Science, University of Calgary, Canada, May 2007.
    
    
2006


51. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Invited talk, Department of Computing, Oxford Brooks University, Oxford, UK, December 2006.
52. Automated Testing of Aspect-Oriented Programs. Invited talk, the 10th Analysis, Slicing and Transformation Research Network Workshop (ASTReNet), London, UK, December 2006.
53. Regression Testing and Test Selection. Invited talk, the 10th Analysis, Slicing and Transformation Research Network Workshop (ASTReNet), London, UK, December 2006.
54. Improving Effectiveness of Automated Software Testing in the Absence of Specifications, Invited talk, College of Computing and Informatics, University of North Carolina, Charlotte, Charlotte, NC, November, 2006.
55. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Invited talk, Shanghai Jiaotong University, Fudan University, Tsinghua University, Peking University, and Chinese Academy of Science, China, May-June 2006.
56. Data Mining for Software Engineering. Invited talk, Fudan University, China, May 2006.
57. Towards Systematic Testing of Access Control Policies. Invited talk, Foundation of Software Engineering Group, Microsoft Research, 10 April 2006.
    
    2005
    
    
58. Automated Software Testing in the Absence of Specifications. Invited talk, SIG-HPC at University of Delaware, DE, 30 November 2005. [Slides]
59. Automated Test-Input Generation. Invited guest lecture, Alex Orso's course on Software Testing and Analysis at Georgia Tech, Atlanta, GA, 17 November 2005. [Slides]
60. Improving Effectiveness of Automated Software Testing. Invited talk, Pennsylvania State University, University Park, PA, 28 March 2005.
61. Improving Effectiveness of Automated Software Testing. Invited (job) talk, Purdue U.,. March-April 2005.
62. Improving Effectiveness of Automated Software Testing. Invited (job) talk, U. Waterloo, March-April 2005.
    
63. Improving Effectiveness of Automated Software Testing. Invited (job) talk, U. Nebraska-Lincoln, March-April 2005.
    
64. Improving Effectiveness of Automated Software Testing. Invited (job) talk, McGill U., March-April 2005.
    
65. Improving Effectiveness of Automated Software Testing. Invited (job) talk, North Carolina State U., March-April 2005.
    
66. Improving Effectiveness of Automated Software Testing. Invited (job) talk, George Mason U., March-April 2005.
67. Improving Effectiveness of Automated Software Testing. Invited (job) talk, HKUST, March-April 2005.
68. Improving Effectiveness of Automated Software Testing. Invited (job) talk, IBM T. J. Watson Research Center, March-April 2005.
    
    
2000-2004


69. Strategic Automated Software Testing in the Absence of Specifications. Invited talk. Parasoft Co., 5 November 2004. [Slides]
70. Automated Test Generation By Avoiding Redundant Tests. Invited talk, Foundation of Software Engineering Group and Testing, Verification and Measurement Group, Microsoft Research, 5 October 2004.[Slides]
71. Automated Software Testing with Inferred Program Properties. Invited talk. Agitar Software, Inc.. 23 July 2004. [Slides]
72. Mutually Enhancing Test Generation and Specification Inference. Invited talk, Foundation of Software Engineering Group, Microsoft Research, 15 August 2003. [Slides]
73. Aggregation Visualization/Splitting and Performance Concern Discovery for Performance Analysis of Java Programs. Invited (summer internship) talk, Java Visualization (Jinsight) Group, IBM T. J. Watson Research Center, 25 September 2002.
74. Workflow and Software Process Modeling & Automation at Avaya. Invited (summer internship) talk, Avaya Labs Research, 26 September 2001.
75. Comparison of Workflow Tools in Customer Relationship Management Domain. Invited talk, Workflow Working Group, Avaya Labs Research, 22 August 2001.
76. Object Oriented Software Quality Evaluation Technology. Invited talk, Ricoh Company, Ltd. Tokyo, Japan, July 2000.

Conferences/Workshop Talks

1. Separation of Concerns for Developer Testing. Workshop presentation, International Workshop on Advanced Modularization Techniques (AOAsia/Pacific 2011), Shanghai, China, October 2011. [Slides]
   
2. First Step Towards Automatic Correction of Firewall Policy Faults. Seminar presentation, Dagstuhl Seminar 11062 on Self-Repairing Programs, Schloss Dagstuhl - LZI GmbH, Germany, February 2011. [Slides]
   
3. Pex for Fun: Tool Support for Human to Repair Programs for Fun and Learning. Seminar tool demo presentation, Dagstuhl Seminar 11062 on Self-Repairing Programs, Schloss Dagstuhl - LZI GmbH, Germany, February 2011. [Slides]
4. ACPT: Access Control Policy Testing System. Workshop presentation, NIST/NSA Privilege (Access) Management Workshop (PMW 2009), Gaithersburg, MD, September 2009. [Slides]
5. Benchmarking for Object-Oriented Unit Test Generation. Workshop presentation, Workshop on State-space Exploration for Automated Testing (SSEAT 2009), Chicago, IL, July 2009. [Slides]
6. Time-Aware Test-Case Prioritization using Integer Linear Programming. Conference presentation, the 2009 International Symposium on Software Testing and Analysis (ISSTA 2009), Chicago, IL, July 2009.
   
7. An Empirical Study of Testing File-System-Dependent Software with Mock Objects. Workshop presentation, the 4th International Workshop on Automation of Software Test (AST 2009), Vancouver, Canada, May 2009.
8. Improving Software Quality via Code Searching and Mining. Workshop presentation, the First International Workshop on Search-Driven Development – Users, Infrastructure, Tools and Evaluation (SUITE 2009), Vancouver, Canada, May 2009.
9. Mutation Analysis of Parameterized Unit Tests. Workshop presentation, the 4th International Workshop on Mutation Analysis (Mutation 2009), Denver, Colorado, April 2009.
10. Parameterized Unit Testing: Principles, Techniques, and Applications in Practice. Conference presentation, the Triangle Information Systems Quality Association Conference (TISQA 2009), Chapel Hill, March 2009.
11. Automated Test Data Generation for Aspect-Oriented Programs. Conference presentation, the 8th International Conference on Aspect-Oriented Software Development (AOSD 2009), Charlottesville, Virginia, March 2009.
12. Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution. Conference presentation, the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September 2008.
13. Multiple-Implementation Testing for XACML Implementations. Workshop presentation, the Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008), Seattle, WA, July 2008.
14. Method-Sequence Exploration for Automated Unit Testing of Object-Oriented Programs. Workshop presentation, the Workshop on State-Space Exploration for Automated Testing (SSEAT 2008), Seattle, WA, July 2008.
15. Searching and Mining Open Source Code from the Web. ASE 2008 PC Workshop presentation. Google Tech Talks. Mountain View, CA, June 2008.
16. SpotWeb: Detecting Framework Hotspots via Mining Open Source Repositories on the Web. Conference presentation, the 5th Working Conference on Mining Software Repositories (MSR 2008), Leipzig, Germany, May 2008.
17. Improving Software Reliability and Productivity via Mining Program Source Code. Workshop presentation. the NSF Next Generation Software Program Workshop at IPDPS 2008 (NSFNGS 2008), Miami, Florida, April 2008.
18. Improving Automation in Developer Testing. Workshop presentation, ISSTA 2008 PC Workshop on State of the Art in Testing and Analysis Day (ISSTA PC WS 2008), Piscataway, NJ, March 2008. [Slides]
19. Recommendation Systems for Code Reuse. Workshop presentation, Bellairs Workshop on Software Analysis for Recommendation Systems (SARS 2008), Barbados, February 2008. [Slides]
20. Improving Automation in Developer Testing: Achievements and Challenges. Conference presentation, International Verify Conference (Verify 2007), Arlington, VA, October 2007. [Slides]
21. Improving Automation in Developer Testing: Achievements and Challenges. Conference presentation, Triangle Information Systems Quality Association Conference (TISQA 2007), Chapel Hill, NC, September 2007. 
22. Conformance Checking of Access Control Policies Specified in XACML. Workshop presentation, the 1st IEEE International Workshop on Security in Software Engineering (IWSSE 2007), Beijing, China, July 2007.
23. Towards a Framework for Differential Unit Testing of Object-Oriented Programs. Workshop presentation, the 2nd International Workshop on Automation of Software Test (AST 2007), Minneapolis, MN, May 2007.
24. Automated Inference of Pointcuts in Aspect-Oriented Refactoring. Conference presentation, the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007.
25. A Fault Model and Mutation Testing of Access Control Policies. Conference presentation, the 16th International Conference on World Wide Web (WWW 2007), Security, Privacy, Reliability, and Ethics Track, Banff, Alberta, Canada, May 2007.
26. Detecting Redundant Unit Tests for AspectJ Programs. Conference presentation, the17th IEEE International Conference on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, November 2006.
27. Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs. Workshop presentation, the 2nd Workshop on Mutation Analysis (MUTATION 2006), Raleigh, NC, November 2006.
28. Improving Effectiveness of Automated Software Testing in the Absence of Specifications. Conference presentation, the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), Dissertation Forum, Philadelphia, PA, September 2006.[Slides]
29. Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. Conference presentation, the 20th European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, France, July 2006. [Slides]
30. MAPO: Mining API Usages from Open Source Repositories. Workshop presentation, the 3rd International Workshop on Mining Software Repositories (MSR 2006), Shanghai, China, May 2006. [Slides]
31. Substra: A Framework for Automatic Generation of Integration Tests. Workshop presentation, the 1st Workshop on Automation of Software Test (AST 2006), Shanghai, China, May 2006. [Slides]
32. Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. Conference presentation, the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, November 2005. [Slides]
33. Automated Test Generation for AspectJ Programs. Workshop presentation, the AOSD 2005 Workshop on Testing Aspect-Oriented Programs (WTAOP 2005), Chicago, 15 March 2005. [Slides]
34. Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. Conference presentation, the 6th International Conference on Formal Engineering Methods (ICFEM 2004), Seattle, November 2004. [Slides]
35. Automatic Extraction of Sliced Object State Machines for Component Interfaces. Workshop presentation, the 3rd Workshop on Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12(SAVCBS 2004), Newport Beach, California, October 31-November 1, 2004.
36. Automatic Identification of Common and Special Object-Oriented Unit Tests. Semifinal presentation. ACM SIGPLAN Student Research Competition at OOPSLA 04, Vancouver, Canada, October 2004.
37. Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. Conference Presentation, the 20th IEEE International Conference on Software Maintenance (ICSM 2004), Chicago, 12 September 2004. [Slides]
38. Tool-Assisted Unit Test Selection Based on Operational Violations. Conference presentation, the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montreal, Canada, 8 October 2003. [Slides]
39. Mutually Enhancing Test Generation and Specification Inference. Workshop presentation, the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003), Montreal, Canada, 6 October 2003. [Slides]
40. Exploiting Synergy between Testing and Inferred Partial Specifications. Workshop presentation, ICSE 2003 Workshop on Dynamic Analysis (WODA 2003), Portland, Oregon, 9 May 2003. [Slides]

Conferences/Workshop Posters

1. Guided Path Exploration for Regression Test Generation. Conference poster presentation, the 31st International Conference on Software Engineering (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, May 2009.
2. DiffGen: Automated Regression Unit-Test Generation. Conference poster presentation, the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September 2008.
3. Automated Software Testing with Inferred Program Properties. Poster session, Student Research Forum, the 12th International Symposium on the Foundations of Software Engineering (FSE-12), Newport Beach, California, November 2004. [Poster]
4. Checking Inside the Black Box: Regression Fault Exposure and Localization Based on Value Spectra Differences. Poster session, Student Research Forum, the 10th International Symposium on the Foundations of Software Engineering, (FSE-10), Charleston, South Carolina, 20 November 2002. [Poster]

Conference Tutorials

1. Parameterized Unit Testing: Principles, Techniques, and Applications in Practice. Tutorial presentation, the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2010. [Tutorial Web]
2. Mining Software Engineering Data. Tutorial presentation, the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2010.[Tutorial Web]
3. Parameterized Unit Testing: Principles, Techniques, and Applications in Practice. Tutorial presentation, the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009. [Tutorial Web]
4. Mining Software Engineering Data. Tutorial presentation, the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009.[Tutorial Web]
5. Mining Software Engineering Data. Tutorial presentation, the 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008. [Tutorial Web]
6. Mining for Software Reliability. Tutorial presentation, the 2007 IEEE International Conference on Data Mining (ICDM 2007), Omaha, NE, October 2007. [Tutorial Web]
7. Mining Software Engineering Data. Tutorial presentation, the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007. [Tutorial Web]
8. Data Mining for Software Engineering. Tutorial presentation, the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD 2006), Tutorial, Philadelphia, Pennsylvania, August 2006. [Tutorial Web]