[ Home | Bio | Research | Activities | Teaching ]
Interns
Tingting Yu (University of Nebraska at Lincoln): Oracle-Based Regression Test Selection, Summer 2012
Pingyu Zhang (University of Nebraska at Lincoln): Automated Performance Analysis through Symbolic Execution, Summer 2012
Program Committee Memberships
Tool Demonstrations, Automated Software Engineering (ASE 2013)
ACM Student Research Competition (SRC 2013) at ICSE 2013
International Working Conference on Mining Software Repositories (MSR 2013)
India Software Engineering Conference (ISEC 2013)
International Workshop on Software Mining (SoftMine 2012), co-located with KDD 2012
International Working Conference on Mining Software Repositories (MSR 2012)
International Working Conference on Mining Software Repositories (MSR 2011)
International Conference on Engineering of Complex Computer Systems (ICECCS) 2011-12
International Workshop on Data Center Performance (DCPerf) 2011-12, co-located with ICDCS
International Conference on Communications (ICC 2007, 2009-11)
Global Telecommunication Conference (GLOBECOM 2006, 2008-10)
Workshop Organizations
Co-Organizer, First International Workshop on Multi Product Line Engineering (MultiPLE 2013) at SPLC 2013
Presentations
Invited Talks
- Code Change Impact Analysis for Testing Configurable Software Systems
- 23rd CREST Open Workshop on Change Impact Analysis and Testing of Software Product Lines, Department of Computer Science, University College London, UK, November 2012
- [ slideshare | slides | video ]
Conference/Workshop Talks
- Oracle-based Regression Test Selection
- 6th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2013), Luxembourg, March 2013
- [ slideshare | slides ]
- Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
- 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2012), Research Tool Demonstrations, Cary, NC, USA, November 2012
- Configuration Selection Using Code Change Impact Analysis for Regression Testing
- 28th IEEE International Conference on Software Maintenance (ICSM 2012), Riva Del Garda, Trento, Italy, September 2012
- Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
- International Conference on Software Engineering (ICSE 2011), Waikiki, Honolulu, Hawaii, May 2011
- Mining Health Models for Performance Monitoring of Services
- Automated Software Engineering (ASE 2009) conference, Auckland, New Zealand, November 2009
- Mining API Error-Handling Specifications from Source Code
- ETAPS 2009 Fundamental Approaches to Software Engineering (FASE 2009), York, UK, March 2009
- ETAPS 2009 student scholarship
- Mining API Patterns as Partial Orders from Source Code: From Usage Scenarios to Specifications
- 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia, September 2007
- Mining Interface Specifications for Generating Checkable Robustness Properties
- 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, USA, November 2006
- ISSRE 2006 student scholarship
- Effective Generation of Interface Robustness Properties for Static Analysis
- 21st IEEE/ACM SIGSOFT/SIGART International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, September 2006
- ACM SIGSOFT CAPS scholarship
Guest Lectures
- Software Change Impact Analysis in Practice
- Tao Xie's Software Engineering (CSC 510) graduate class, Department of Computer Science, North Carolina State University, August 2012
- Complementing Software Testing: Data Mining with Static Analysis and Performance Monitoring
- Tao Xie's Software Testing and Reliability (CSC 712) advanced graduate class, Department of Computer Science, North Carolina State University, October 2010
Others
- Mining API Specifications from Source Code for Improving Software Reliability
- ABB US Corporate Research Center, Industrial Software Systems Lab, March 2009
- Mining API Specifications from Source Code for Improving Software Reliability
- Programming Technologies and Software Engineering Department, IBM India Research Labs, September 2008
- Building Health Models for Performance Monitoring of Services
- Microsoft Center for Software Excellence, August 2007
- Automatic Inference of Interface Properties from Program Source Code
- Doctoral Symposium, ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, Oregon, USA, November 2006
- Automatic Generation and Inference of Interface Properties from Program Source Code
- ACM SIGPLAN Student Research Competition (SRC), 20th Annual ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), Portland, Oregon, USA, October 2006
- Semi Finals
- OOPSLA 2006 student scholarship and ACM SIGPLAN SRC scholarship sponsored by Microsoft Research
- Inferring Classes and Methods Under Test for Assessing Relationships between Test Cases and Code
- Integrated Solution Engineering group, IBM Research, T. J. Watson Research Center, Hawthorne, August 2006
- Automatic Generation of Robustness and Security Properties from Program Source Code
- IEEE International Conference on Dependable Systems and Networks (DSN 2006), Student Forum, Philadelphia, PA, USA, June 2006
- DSN 2006 student scholarship
- Concealed Data Aggregation for Reverse Multicast Traffic in Wireless Sensor Networks: Encryption, Key Distribution, and Routing Adaptation
- NEC Labs Europe, November 2004
- Topology Aware Group Keying for Concealed Data Aggregation in Wireless Sensor Networks
- Software and Services Research Division, NEC Labs Europe, November 2004
- A Critique on Concealed Data Aggregation in Wireless Sensor Networks
- Software and Services Research Division, NEC Labs Europe, July 2004
Journal/Magazine Reviews
IEEE Transactions on Software Engineering (TSE)
International Journal of Automated Software Engineering (JASE)
International Journal of Empirical Software Engineering (EMSE)
IEEE Security and Privacy (S&P)
International Journal of Knowledge and Information Systems (KAIS)
Elsevier Journal of Data and Knowledge Engineering (DKE)
IEEE Transactions on Wireless Communication (TWC)
IEEE Transactions on Information Forensics and Security (TIFS)
Elsevier Journal of Computer Communications (JCC)
Elsevier Journal of Systems and Software (JSS)
IEEE Communications Letters
Conference Reviews
International Conference in Software Engineering (ICSE)
International Symposium on Software Testing and Analysis (ISSTA)
International Conference on Automated Software Engineering (ASE)
Mining Software Repositories (MSR), co-located with ICSE
International Conference on Software Maintenance (ICSM)
International Conference on Software Testing, Verification, and Validation (ICST)
Haifa Verification Conference (HVC)
International World Wide Web Conference (WWW)
Global Communication Conference (GLOBECOM)
Workshop Reviews
International Workshop on Empirical Software Engineering in Practice (IWESEP)
International Workshop on Formal Methods for Industrial Critical Systems (FMICS), co-located with FM
Workshop on Dynamic Analysis (WODA), co-located with ICSE
Book/Chapter Reviews
Chapter Review, Mining Software Specifications: Methodologies and Applications
Professional Memberships
Technical Committee Member, Communications and Information Security
Member, ACM, ACM SIGSOFT, ACM SIGPLAN
Member, IEEE, IEEE Computer Society, (past) IEEE Communications Society
Others
Student Panel, ACM SIGSOFT Inspirations, FSE 14 2006
Volunteer, ACM SIGPLAN OOPSLA 2006
Volunteer, IEEE DSN 2006
[ Home | Bio | Research | Activities | Teaching ]