- Automatically Identifying Special and Common Unit Tests
- Autom Softw Eng DOI 10.1007/s10515-011-0086-z
- Precise Identification of Problems for Structural Test Generation
- Autom Softw Eng (2010) 17: 531 DOI 10.1007/s10515-009-0056-x
- MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES
- Automatic Construction of an Effective Training Set for Prioritizing Static Analysis Warnings
- Random Unit-Test Generation with MUT-aware Sequence Recommendation
- Text Mining in Supporting Software Systems Risk Assurance LiGuo Huang1
- Guided Test Generation for Coverage Criteria Rahul Pandita, Tao Xie
- Mining Likely Properties of Access Control Policies via Association Rule Mining
- Mining API Mapping for Language Migration Hao Zhong1,2
- Is Operator-Based Mutant Selection Superior to Random Mutant Selection?
- Identifying Security Bug Reports via Text Mining: An Industrial Case Study Michael Gegick, 2
- Automated Behavioral Regression Testing1 Georgia Institute of Technology
- Future of Developer Testing: Building Quality in Code Department of Computer Science
- BERT: A Tool for Behavioral Regression Testing Georgia Tech
- Teaching and Training Developer-Testing Techniques and Tool Support
- JDF: Detecting Duplicate Bug Reports in Jazz Yoonki Song1
- On automated prepared statement generation to remove SQL injection vulnerabilities
- MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code
- Detection of Multiple-Duty-Related Security Leakage in Access Control Policies JeeHyun Hwang1
- Guided Path Exploration for Regression Test Generation Kunal Taneja1
- An Empirical Study of Testing File-System-Dependent Software with Mock Madhuri R. Marri1
- Security Policy Testing via Automated Program Code Generation (Extended Abstract)
- Assessing Quality of Policy Properties in Verification of Access Control Policies
- Quota-Constrained Test-Case Prioritization for Regression Testing of Service-Centric Systems
- SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the
- DiffGen: Automated Regression Unit-Test Kunal Taneja
- XEngine: A Fast and Scalable XACML Policy Evaluation Engine
- Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008)
- SpotWeb: Detecting Framework Hotspots via Mining Open Source Repositories on the Web
- BERT: BEhavioral Regression Testing Alessandro Orso
- A Framework and Tool Supports for Testing Modularity of Software Design
- Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
- Mining Software Engineering Data North Carolina State Univ.
- UnitPlus: Assisting Developer Testing in Eclipse Yoonki Song1
- Mining Interface Specifications for Generating Checkable Robustness Properties Mithun Acharya, Tao Xie, Jun Xu
- Computer Science Augmenting Automatically
- A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs
- Automatic Extraction of Abstract-Object-State Machines from Unit-Test Executions
- Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs
- Automated Robustness Testing of Web Services Evan Martin, Suranjana Basu, and Tao Xie
- Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs
- Helping Users Avoid Bugs in GUI Applications Amir Michail
- Appears in Proceedings of the 3rd Workshop on Specification and Verification of Component-Based Systems at FSE-12 (SAVCBS 04) Automatic Extraction of Sliced Object State Machines for
- Nominated for the best paper award at ASE 2003. Appears in Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003)
- Appears in Proceedings of ICSE 2003 Workshop on Dynamic Analysis (WODA 2003), Portland, Oregon Exploiting Synergy Between Testing and Inferred Partial Specifications
- C++ Program Information Database for Analysis Tools1 Yuan Wanghong, Chen Xiangkui, Xie Tao, Mei Hong, Yang Fuqing
- Acknowledgment: The slides were prepared via valuable discussion, feedback from various colleagues and students. Our research that these talk slides were
- Research Skills (for career and life)(for career and life)
- Computer Science Fitness-Guided Path Exploration in
- Automated Software Testing in the Absence of Specifications
- Automated Test-Input Generation North Carolina State University
- THUMMALAPENTA, SURESH. Improving Software Productivity and Quality via Mining Source Code. (Under the direction of Tao Xie.)
- Distinguished Graduate Mentor Award Recipients
- Common Technical WritingCommon Technical Writing Tao XieTao Xie
- APTE: Automated Pointcut Testing for AspectJ Programs Prasanth Anbalagan
- Computer Science Automated Software Engineering Research Group@NCSU (https://sites.google.com/site/asergrp/)
- INKUMSAH, KOBI K. Improving Structural Testing of Object-Oriented Programs via Inte-grating Evolutionary Testing and Symbolic Execution. (Under the direction of Dr. Tao Xie).
- Reggae: Automated Test Generation for Programs using Complex Regular Expressions
- Research EthicsResearch Ethics T XiTao Xie
- Improving Software Reliability and Productivity via Mining Program Source Code
- Towards Regression Test Selection for AspectJ Programs Jianjun Zhao
- DiffGen: Automated Regression Unit-Test Software programs continue to evolve throughout their lifetime
- A Fault Model and Mutation Testing of Access Control Policies
- Clamp: Automated Joinpoint Clustering and Pointcut Mining in Aspect-Oriented Refactoring
- Inferring Resource Specifications from Natural Language API Documentation Hao Zhong1,2, Lu Zhang1,2,, Tao Xie3,, Hong Mei1,2,
- ACPT: A Tool for Modeling and Verifying Access Control Policies JeeHyun Hwang1
- An Approach to Detecting Duplicate Bug Reports using Natural Language and Execution Information
- Defining and Measuring Policy Coverage in Testing Access Control Policies
- Automated Inference of Pointcuts in Aspect-Oriented Refactoring Prasanth Anbalagan1
- Mining Exception-Handling Rules as Sequence Association Rules Suresh Thummalapenta
- ORAL PRESENTATION A PRACTICAL GUIDE
- Won the third place in 2004 ACM SIGPLAN Student Research Competition at OOPSLA 04. Appears in Proceedings of the 19th Annual ACM SIGPLAN OOPSLA Companion 04, Vancouver, Canada
- Automatic Extraction of Abstract-Object-State Machines Based on Branch Coverage
- PARSEWeb: A Programmer Assistant for Reusing Open Source Code on the Web
- WebSob: A Tool for Robustness Testing of Web Services Evan Martin Suranjana Basu Tao Xie
- Inferring Access-Control Policy Properties via Machine Learning Evan Martin
- Alattin: Mining Alternative Patterns for Detecting Neglected Conditions Suresh Thummalapenta
- Selected as one of the Best Papers. Appears in Proceedings of the 20th IEEE International Conference on Software Maintenance An extended version is invited for submission to a special issue of IEEE Transactions on Software Engineering (TSE)
- MiTV: Multiple-Implementation Testing of User-Input Validators for Web Applications
- Locating Need-to-Translate Constant Strings in Web Applications
- Checking Inside the Black Box: Regression Testing by Comparing Value Spectra
- Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
- 0-7803-6669-7/01/$10.00 2001 IEEE October 10 -13, 2001 Reno, NV ASEE/IEEE Frontiers in Education Conference
- Perspectives on Automated Testing of Aspect-Oriented Programs
- Software Intelligence: The Future of Mining Software Engineering Data
- Computer Science MAPO: Mining API Usages from
- Testing Access Control Policies JeeHyun Hwang1
- 55AUGUST 2009Published by the IEEE Computer Society0018-9162/09/$26.00 2009 IEEE COVER FEATURE
- Conformance Checking of Access Control Policies Specified in XACML Vincent C. Hu1
- Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and
- Improving Effectiveness of Automated Software Testing in the Absence of Specifications
- Automated Detection of API Refactorings in Libraries Kunal Taneja1
- Test Selection for Result Inspection via Mining Predicate Rules Wujie Zheng, Michael R. Lyu
- Substra: A Framework for Automatic Generation of Integration Tests
- First Step Towards Automatic Correction of Firewall Policy Faults Fei Chen Alex X. Liu
- Dynamic Availability Estimation for Service Selection Based on Status Identification
- DyTa: Dynamic Symbolic Execution Guided with Static Verification Results
- Acknowledgment: The slides were prepared via valuable discussion, feedback from various colleagues and students.
- Appears in Proc. 20th European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, France Augmenting Automatically Generated Unit-Test Suites
- Exploiting Synergy Between Testing and Inferred Partial Specifications Tao Xie David Notkin
- Systematic Structural Testing of Firewall Policies JeeHyun Hwang1
- Understanding Software Application Interfaces via String Analysis
- Automatic Identification of Common and Special Object-Oriented Unit Tests
- Mutation Analysis of Parameterized Unit Tests Nikolai Tillmann2
- Effective Generation of Interface Robustness Properties for Static Analysis Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
- Tool-Assisted Unit-Test Generation and Selection Based on Operational Abstractions
- Hao D, Zhang L, Xie T et al. Interactive fault localization using test information. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 24(5): 962974 Sept. 2009
- TranStrL: An Automatic Need-to-Translate String Locator for Software Internationalization
- Appears in Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003) Mutually Enhancing Test Generation and Specification
- Improving Effectiveness of Automated Software Testing
- Software Component Protocol Inference (General Examination Report)
- java.sun.com/javaone/sf An Introduction To Software
- SQLUnitGen: SQL Injection Testing Using Static and Dynamic Analysis Yonghee Shin Laurie Williams Tao Xie
- Pex4Fun: Teaching and Learning Computer Science via Social Gaming
- Mining API Error-Handling Specifications from Source Code
- Appears in Proceedings of the 6th International Conference on Formal Engineering Methods (ICFEM 04), Seattle, WA Automatic Extraction of Object-Oriented Observer
- Critical Skills forC t ca S s o Research/Career Development
- Improving Software Quality via Code Searching and Mining Madhuri R. Marri
- North Carolina State University Web On-Line Financial (WOLF) Reports
- MODA: Automated Test Generation for Database Applications via Mock Objects
- User-Perceived Service Availability: A Metric and an Estimation Approach Lingshuang Shao1,2
- HELPING NEW FACULTY GET OFF TO A GOOD START* Rebecca Brent, Richard M. Felder
- d dGraduate Student Survival/Success GuideSurvival/Success Guide
- Covana: Precise Identification of Problems in Pex Xusheng Xiao1
- Test Generation via Dynamic Symbolic Execution for Mutation Testing
- Improving Effectiveness of Automated Software Testing in the Absence of Specifications
- JBOOMT: Jade Bird Object-Oriented Metrics Tool* Tao XIE, Wanghong YUAN, Hong MEI, Fuqing YANG
- Time-Aware Test-Case Prioritization using Integer Linear Programming
- Automated Testing and Response Analysis of Web Services Evan Martin Suranjana Basu Tao Xie
- Automated Test Generation for Access Control Policies Evan Martin
- Autom Softw Eng DOI 10.1007/s10515-011-0082-3
- Fault Localization for Firewall Policies JeeHyun Hwang1
- Automatic Extraction of Abstract-Object-State Machines Based on
- Fitness-Guided Path Exploration in Dynamic Symbolic Execution Nikolai Tillmann2
- An Empirical Study of Java Dynamic Call Graph Extractors Tao Xie David Notkin
- OCAT: Object Capture based Automated Testing Hojun Jaygarl
- Multiple-Implementation Testing for XACML Implementations
- Locating Need-to-Translate Constant Strings for Software Internationalization Xiaoyin Wang1,2
- Appears in Proceedings of the 4th International Workshop on Economics-Driven Software Engineering Research (EDSER 2002), Orlando, Florida Macro and Micro Perspectives on Strategic Software
- An Empirical Study on Evolution of API Documentation , Hao Zhong1
- Evacon: A Framework for Integrating Evolutionary and Concolic Testing for Object-Oriented Programs
- Retrofitting Unit Tests for Parameterized Unit Testing Suresh Thummalapenta1
- Appears in Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), Linz, Austria. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
- Iterative Mining of Resource-Releasing Specifications , Guangtai Liang1
- Browser-based Software for Technology Transfer Judith Bishop
- Mining Test Oracles of Web Search Engines Wujie Zheng1
- Testing Software In Age Of Data Privacy: A Balancing Act Kunal Taneja
- eXpress: Guided Path Exploration for Efficient Regression Test Generation
- Environment Modeling for Automated Testing of Cloud Applications
- Software Analytics as a Learning Case in Practice: Approaches and Experiences
- Mining Test Oracles of Web Search Engines Wujie Zheng1, Hao Ma2, Michael Lyu1, Tao Xie3, and Irwin King1,4
- Refactoring Access Control Policies for Performance Improvement
- Identifying Failure-Inducing Combinations in a Combinatorial Test Set
