Abstract—Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in the industry and academic organizations. However, existing...
Fitness-Guided Path Exploration in Dynamic Symbolic Execution (2009)
Tao Xie, Nikolai Tillmann, Jonathan Halleux, Wolfram Schulte
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test inputs. Its main goal is...
Abstract—Many real-world applications need to frequently access data stored on large-scale parallel disk storage systems. On one hand, prompt responses to access requests are essential for these...
Abstract—Achieving high structural coverage such as branch coverage in object-oriented programs is an important and yet challenging goal due to two main challenges. First, some branches involve...
Perspectives on Automated Testing of Aspect-Oriented Programs ABSTRACT (2009)
Aspect-oriented software development is gaining popularity with the adoption of aspect-oriented languages in writing programs. To reduce the manual effort in assuring the quality of aspect-oriented...
Property Verification for Generic Access Control Models 1 (2009)
Vincent C. Hu, D. Richard Kuhn, Tao Xie
To formally and precisely capture the security properties that access control should adhere to, access control models are usually written to bridge the rather wide gap in abstraction between policies...
BERT: BEhavioral Regression Testing (2009)
During maintenance, it is common to run the new version of a program against its existing test suite to check whether the modifications in the program introduced unforeseen side effects. Although...
Mining API Error-Handling Specifications from Source Code (2009)
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging for procedural...
Systematic Structural Testing of Firewall Policies (2009)
Jeehyun Hwang, Tao Xie, Fei Chen, Alex X. Liu
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall directly depends on the...
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web (2009)
Abstract—Software developers often face challenges in reusing open source frameworks due to several factors such as the framework complexity and lack of proper documentation. In this paper, we...
Behavioral Differences Regression Test (2009)
Problem: � Software programs continue to evolve throughout their lifetime � Existing test suite is often insufficient to cover changed behavior to guard against unintended changes Solution: An...
SQLUnitGen: SQL Injection Testing Using Static and Dynamic Analysis (2009)
Yonghee Shin, Laurie Williams, Tao Xie
This paper proposes an approach to facilitate the identification of actual input manipulation vulnerabilities via automated testing based on static analysis. We implemented a prototype of a SQL...
DiffGen: Automated Regression Unit-Test Generation (2009)
Abstract — Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in software...
Assessing Quality of Policy Properties in Verification of Access Control Policies (2009)
Evan Martin, Jeehyun Hwang, Tao Xie, Vincent Hu
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties specified for a...
Contents lists available at ScienceDirect (2009)
Stephen Thomas, Laurie Williams, Tao Xie
journal homepage: www.elsevier.com/locate/infsof On automated prepared statement generation to remove SQL injection
Automated Test Data Generation for Aspect-Oriented Programs (2009)
Mark Harman, Fayezin Islam, Tao Xie
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no work on searchbased...
XEngine: A Fast and Scalable XACML Policy Evaluation Engine ABSTRACT (2009)
Alex X. Liu, Fei Chen, Jeehyun Hwang, Tao Xie
XACML has become the de facto standard for specifying access control policies for various applications, especially web services. With the explosive growth of web applications deployed on the...
Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2008) (2009)
TAV-WEB 2008 is the third in a series of workshops that focus on testing, analysis and verification of web software. The goal of these workshops has been to bring together researchers from academic,...
An Availability-Aware Task Scheduling Strategy for Heterogeneous Systems (2009)
Abstract—High availability is a key requirement in the design and development of heterogeneous systems where processors operate at different speeds and are not continuously available for...
AWARDS: An Adaptive Write Strategy for Secure Local Disk Systems (2009)
Mais Nijim, Xiao Qin, Tao Xie, Mohamed Alghamidi
Since security is of critical importance for modern storage systems, it is imperative to protect stored data from being tampered or disclosed. Although an increasing number of secure storage systems...
Abstract—Collaborative applications with energy and low-delay constraints are emerging in various networked embedded systems like wireless sensor networks and multimedia terminals. Conventional...
Conformance Checking of Access Control Policies Specified in XACML (2008)
Vincent C. Hu, Evan Martin, Jeehyun Hwang, Tao Xie
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to which resources in a...
Abstract — Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in industry and academic organizations. However, existing...
Sacrificing Reliability for Energy Saving: Is It Worthwhile for Disk Arrays? (2008)
Mainstream energy conservation schemes for disk arrays inherently affect the reliability of disks. A thorough understanding of the relationship between energy saving techniques and disk reliability...
An Availability-Aware Task Scheduling Strategy for Heterogeneous Systems (2008)
High availability is a key requirement in the design and development of heterogeneous systems, where processors operate at different speeds and are not continuously available for computation. Most...
Benchmarking the CLI for I/O-Intensive Computing ∗ (2008)
Common Language Infrastructure, or CLI, is a standardized virtual machine, which increasingly becomes popular on a wide range of platforms. In this paper we developed three I/O-intensive benchmarks...
ABSTRACT Clamp: Automated Joinpoint Clustering and (2008)
Pointcut Mining, Aspect-oriented Refactoring, Prasanth Anbalagan, Tao Xie
Software refactoring consists of a set of techniques to reorganize code while preserving the external behavior. Aspect-Oriented Programming (AOP) provides new modularization of software systems by...
Stochastic Scheduling with Availability Constraints in Heterogeneous Clusters (2008)
High availability plays an important role in heterogeneous clusters, where processors operate at different speeds and are not continuously available for processing. Existing scheduling algorithms...
High quality of security is increasingly critical for applications running on heterogeneous distributed systems. However, existing scheduling algorithms for heterogeneous distributed systems...
Abstract. Task Scheduling for real-time distributed systems has been investigated extensively in the literature. However, conventional wisdom in dynamic scheduling ignores security requirements in...
T. Xie and A. E. Hassan: Mining Software Engineering Data 3 Acknowledgments (2008)
Tao Xie, Ahmed E. Hassan, Tao Xie, T. Xie, A. E. Hassan, Mining Software, ...
www.ece.uvic.ca/~ahmed
Improving Software Reliability and Productivity via Mining Program Source Code (2008)
Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kunal Taneja
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse difficult and error...
ABSTRACT UnitPlus: Assisting Developer Testing in Eclipse (2008)
Yoonki Song, Suresh Thummalapenta, Tao Xie
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is often a sequence of...
BIOINFORMATICS APPLICATIONS NOTE DOI: 10.1093/bioinformatics/btg121 (2008)
ACGT—a comparative genomics tool
Tao Xie, Xiao Qin, Andrew Sung
Existing scheduling algorithms for periodic tasks ignore security requirements posed by sensitive applications and are consequently unable to perform properly in high performance embedded systems...
Xin Xu, Tao Xie, Dewen Hu, Xicheng Lu, Xin Xu, Tao Xie, ...
Kernel methods have attracted many research interests recently since by utilizing Mercer kernels, non-linear and non-parametric versions of conventional supervised or unsupervised learning algorithms...
Abstract. Many real-world applications like Video-On-Demand (VOD) and Web servers require prompt responses to access requests. However, with an explosive increase of data volume and the emerging of...
High quality of security is increasingly critical for applications running on heterogeneous distributed systems. However, existing scheduling algorithms for heterogeneous distributed systems...
Tao Xie, Student Member, Xiao Qin
Abstract — Security-critical real-time applications such as military aircraft flight control systems have mandatory security requirements in addition to stringent timing constraints. Conventional...
T. Xie and A. E. Hassan: Mining Software Engineering Data 3 Tutorial Goals (2008)
Tao Xie, Ahmed E. Hassan, Ahmed E. Hassan, Learn About, T. Xie, A. E. Hassan, ...
www.ece.uvic.ca/~ahmed
Applying Interface-Contract Mutation in Regression Testing of Component- Based Software (2008)
Shan-shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jia-su Sun
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use and reuse of...
SpotWeb: Characterizing Framework API Usages Through a Code Search Engine”, NCSU (2008)
Abstract. The essentials of modern software development (such as low cost and high efficiency) demand software developers to make intensive reuse of the existing open source frameworks or libraries...
high performance and energy-efficient storage systems are essential for mobile data-intensive applications such as remote surgery and mobile data center. Compared with conventional stationary storage...
ABSTRACT Automated Test Generation for AspectJ Programs (2008)
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
Aspect-oriented software development (AOSD) is a new paradigm that improves separation of concerns in software development. AOSD has gained popularity with the adoption of languages such as AspectJ....
ABSTRACT A Fault Model and Mutation Testing of Access Control Policies (2008)
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking test outputs...
Quota-constrained test-case prioritization for regression testing of service-centric systems (2008)
Shan-shan Hou, Lu Zhang, Tao Xie, Jia-su Sun
Test-case prioritization is a typical scenario of regression testing, which plays an important role in software maintenance. With the popularity of Web Services, integrating Web Services to build...
Xiaoyin Wang, Lu Zhang, Tao Xie, John Anvik, Jiasu Sun
An open source project typically maintains an open bug repository so that bug reports from all over the world can be gathered. When a new bug report is submitted to the repository, a person, called a...
Automated generation of pointcut mutants for testing pointcuts in AspectJ programs (2008)
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as pointcuts, advice, and...
JBOOMT: Jade Bird Object-Oriented Metrics Tool * (2007)
Tao Xie, Wanghong Yuan, Hong Mei, Fuqing Yang
Abstract: Focusing on software productivity and software quality control has spurred the research on software metrics technology. The increasing importance being placed on object-oriented software...
A Linguistic Study of Process Modeling Languages (2007)
Process model or definition is used to describe the process, either software process or business process, by means of a suitable process modeling language. Choosing one or more linguistic paradigms...
A Model-based Approach to Object-Oriented Software Metrics * (2007)
Hong Mei, Tao Xie, Fuqing Yang
Abstract: The need to improve software productivity and software quality has promoted the research
Software Component Protocol Inference (2007)
General Examination Report, Tao Xie
Component-based software development has increasingly gained popularity in industry. While correct component usage is critical to successful reuse of components, the expected component usage is...
Towards a framework for differential unit testing of object-oriented programs (2007)
Tao Xie, Kunal Taneja, Shreyas Kale, Darko Marinov
Software developers often face the task of determining how the behaviors of one version of a program unit differ from (or are the same as) the behaviors of a (slightly) different version of the same...
Keywords Scheduling · Security-sensitive application · (2007)
Tao Xie, Xiao Qin, T. Xie, X. Qin
Abstract Security-sensitive applications that access and generate large data sets are emerging in various areas including bioinformatics and high energy physics. Data grids provide such...
Improving Security for Periodic Tasks in Embedded Systems through Scheduling (2007)
While many scheduling algorithms for periodic tasks ignore security requirements posed by sensitive applications and are, consequently, unable to perform properly in embedded systems with security...
Keywords Scheduling · Security-sensitive application · (2007)
Tao Xie, Xiao Qin, T. Xie, X. Qin
Abstract Security-sensitive applications that access and generate large data sets are emerging in various areas including bioinformatics and high energy physics. Data grids provide such...
Improving Security for Periodic Tasks in Embedded Systems through Scheduling (2007)
While many scheduling algorithms for periodic tasks ignore security requirements posed by sensitive applications and are, consequently, unable to perform properly in embedded systems with security...
Scalable compression and replay of communication traces in massively parallel environments (2007)
Michael J. Noeth, Ma Dr, Tao Xie
Mueller). Characterizing the communication behavior of large-scale applications is a difficult and costly task due to code and system complexity as well as the time to execute such codes. An...
A fault model and mutation testing of access control policies (2007)
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking test outputs...
Automated test generation for access control policies via change-impact analysis (2007)
Access control policies are increasingly written in specification languages such as XACML. To increase confidence in the correctness of specified policies, policy developers can conduct policy...
Automated detection of API refactorings in libraries (2007)
Kunal Taneja, Danny Dig, Tao Xie
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and thus require changes...
Static detection of API errorhandling bugs via mining source code (2007)
Incorrect handling of errors incurred after API invocations (in short, API errors) can lead to security and robustness problems, two primary threats to software reliability. Correct handling of API...
WebSob: A tool for robustness testing of web services (2007)
Evan Martin, Suranjana Basu, Tao Xie
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because manual testing is...
Mithun Acharya, Tao Xie, Jian Pei, Jun Xu
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (specifications) exist...
Automated testing and response analysis of Web services (2007)
Evan Martin, Suranjana Basu, Tao Xie
Web services are a popular way of implementing a Service-Oriented Architecture (SOA), which has gained rapid adoption and support from leading companies in industry. Testing can be used to help...
GuhaThakurta, Debraj, Xie, Tao, Anand, Manish, Edwards, Stephen W, Li, Guoya, Wang, Susanna S, ...
Abstract Background Changes in gene expression are known to be responsible for phenotypic variation and susceptibility to diseases. Identification and annotation of the genomic sequence variants that...
Security-aware scheduling for real-time systems/ (2006)
Thesis (Ph.D.) - New Mexico Institute of Mining and Technology, Department of Computer Science .
Tool-assisted unit test generation and selection based on operational abstractions (2006)
Abstract. Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternative is to...
DSD-Crasher: A hybrid analysis tool for bug finding (2006)
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection. The derived...
Solving Energy-Latency Dilemma: Task Allocation for Parallel Applications (2006)
Parallel applications with energy and low-latency constraints are emerging in various networked embedded systems like digital signal processing, vehicle tracking, and infrastructure monitoring....
Scheduling Security-Critical Real-Time Applications on Clusters (2006)
Abstract—Security-critical real-time applications such as military aircraft flight control systems have mandatory security requirements in addition to stringent timing constraints. Conventional...
Augmenting automatically generated unit-test suites with regression oracle checking (2006)
Abstract. A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the form of...
Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
Testing involves two major activities: generating test inputs and determining whether they reveal faults. Automated test generation techniques include random generation and symbolic execution....
Defining and measuring policy coverage in testing access control policies (2006)
Abstract. To facilitate managing access control in a system, security officers increasingly write access control policies in specification languages such as XACML, and use a dedicated software...
Modeling and improving security of a local disk system for write-intensive workloads (2006)
Since security is of critical importance for modern storage systems, it is imperative to protect stored data from being tampered with or disclosed. Although an increasing number of secure storage...
Security-Aware Scheduling for Real-Time Systems (2006)
Over the last decade, clusters have become the fastest growing platforms in high-performance computing. More recently, Grids were emerging as next generation computing platforms for large-scale...
A Security-Oriented Task Scheduler for Heterogeneous Distributed Systems (2006)
Abstract. High quality of security is increasingly critical for applications running on heterogeneous distributed systems, where processors operate at different speeds and communication channels have...
A framework and tool supports for generating test inputs of aspectj programs (2006)
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs, we have developed...
Automated robustness testing of web services (2006)
Evan Martin, Suranjana Basu, Tao Xie
Abstract. Web services are a popular way of implementing a Service-Oriented Architecture (SOA), which has gained rapid adoption and support from leading industrial players such as IBM, Oracle, and...
Effective generation of interface robustness properties for static analysis (2006)
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces, whose violation...
MAPO: Mining API Usages from Open Source Repositories (2006)
To improve software productivity, when constructing new software systems, developers often reuse existing class libraries or frameworks by invoking their APIs. Those APIs, however, are often complex...
Modeling and improving security of a local disk system for write-intensive workloads (2006)
Since security is of critical importance for modern storage systems, it is imperative to protect stored data from being tampered or disclosed. Although an increasing number of secure storage systems...
Automatic extraction of abstract-object-state machines from unit-test executions (2006)
Tao Xie, Evan Martin, Hai Yuan
An automatic test-generation tool can produce a large number of test inputs to exercise the class under test. However, without specifications, developers cannot inspect the execution of each...
Inferring access-control policy properties via machine learning (2006)
To ease the burden of implementing and maintaining access-control aspects in a system, a growing trend among developers is to write access-control policies in a specification language such as XACML...
Improving Effectiveness of Automated Software Testing in the Absence of Specifications (2006)
Tao Xie, Tao Xie, David Notkin, Richard Anderson, David Notkin, Wolfram Schulte, ...
This is to certify that I have examined this copy of a doctoral dissertation by
Common Technical Writing Issues (2006)
• Don’t make readers a hard time in reading your papers – Your technical content is already hard enough•“since” Avoid ambiguous words “because” – Bad: components may become coupled...
APTE: Automated pointcut testing for AspectJ programs (2006)
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. AspectJ, an...
SQLUnitGen: Test Case Generation for SQL Injection Detection (2006)
Yonghee Shin, Laurie Williams, Tao Xie
More than half of all of the vulnerabilities reported can be classified as input manipulation, such as SQL injection, cross site scripting, and buffer overflows. Increasingly, automated static...
A Security Middleware Model for Real-Time Applications on Grids (2006)
Real-time applications are indispensable for conducting research and business in government, industry, and academic organizations. Recently, real-time applications with security requirements...
SHARP: A New Real-Time Scheduling Algorithm to Improve Security (2006)
This paper addresses the problem of improving quality of security for real-time parallel applications on heterogeneous clusters. We propose a new security- and heterogeneity-driven scheduling...
PARM: A Power-Aware Message Scheduling Algorithm for Real-Time Wireless Networks (2005)
Mohammed I Alghamdi, Tao Xie, Xiao Qin
Real-time applications in wireless networks are emerging in multimedia product and design. However, conventional real-time message scheduling algorithms generally do not take energy efficiency into...
Symstra: A framework for generating object-oriented unit tests using symbolic execution (2005)
Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
Abstract. Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning of the...
With rapid advances in processing power, network bandwidth, and storage capacity, computer systems are increasingly becoming extremely complex. Consequently, it becomes expensive and difficult for...
Automatically identifying special and common unit tests for object-oriented programs (2005)
Developers often create common tests and special tests, which exercise common behaviors and special behaviors of the class under test, respectively. Although manually created tests are valuable,...
Liu, Jiewu, Huang, Qian, Higdon, Jason, Liu, Wei, Xie, Tao, Yamashita, Tetsuji, ...
To understand the mechanisms underlying autosomal dominant progressive retinitis pigmentosa (RP) caused by the mutations of the RP1 gene and to identify molecules that play roles in the early disease...
Checking inside the black box: Regression testing by comparing value spectra (2005)
Tao Xie, David Notkin, Senior Member
Abstract—Comparing behaviors of program versions has become an important task in software maintenance and regression testing. Black-box program outputs have been used to characterize program...
Flow regime identification in industrial systems that rely on complex multi-phase flows is crucial for their safety, control, diagnostics, and operation. The objective of this investigation was to...
Flow regime identification in industrial systems that rely on complex multi-phase flows is crucial for their safety, control, diagnostics, and operation. The objective of this investigation was to...
Flow regime identification in industrial systems that rely on complex multi-phase flows is crucial for their safety, control, diagnostics, and operation. The objective of this investigation was to...
Flow regime identification in industrial systems that rely on complex multi-phase flows is crucial for their safety, control, diagnostics, and operation. The objective of this investigation was to...
Raghunathan, Anu, Price, Nathan D., Galperin, Michael Y., Makarova, Kira S., Purvine, Samuel, Picone, Alex F., ...
The intermediary metabolism of Haemophilus influenzae strain Rd KW20 was studied by a combination of protein expression analysis using a recently developed direct proteomics approach, mutational...
Thesis (Ph. D.)--Mechanical Engineering, Georgia Institute of Technology, 2005.
Thesis (Ph. D.)--Mechanical Engineering, Georgia Institute of Technology, 2005.
Flow regime identification in industrial systems that rely on complex multi-phase flows is crucial for their safety, control, diagnostics, and operation. The objective of this investigation was to...
Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests (2004)
Tao Xie, Darko Marinov, David Notkin
Object-oriented tests consist of sequences of method invocations. Behavior of an invocation depends on the state of the receiver object and method arguments at the beginning of the invocation....
Rostra: A framework for detecting redundant object-oriented unit tests (2004)
Tao Xie, Darko Marinov, David Notkin
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the state of the receiver object and method arguments at the beginning of the invocation....
Automatic extraction of object-oriented observer abstractions from unit-test executions (2004)
Abstract. Unit testing has become a common step in software development. Although manually created unit tests are valuable, they are often insufficient; therefore, programmers can use an automatic...
Detecting redundant unit tests for AspectJ programs (2004)
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspect-oriented...
Checking inside the black box: Regression testing based on value spectra differences (2004)
Comparing behaviors of program versions has become an important task in software maintenance and regression testing. Traditional regression testing strongly focuses on black-box comparison of program...
Thesis (M.S. in Engineering)--University of Texas at Austin, 2004.
Automatic extraction of sliced object state machines for component interfaces (2004)
Component-based software development has increasingly gained popularity in industry. Although correct component-interface usage is critical for successful understanding, testing, and reuse of...
Exploiting synergy between testing and inferred partial specifications (2003)
The specifications of a program can be dynamically inferred from its executions, or equivalently, from the program plus a test suite. A deficient test suite or a subset of a sufficient test suite may...
Tool-Assisted Unit Test Selection Based on Operational Violations (2003)
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternative is to use one of a...
Tool-Assisted Unit Test Selection Based on Operational Violations (2003)
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternative is to use one of a...
ACGT--a comparative genomics tool (2003)
Summary: ACGT (a comparative genomics tool) is a genomic DNA sequence comparison viewer and analyzer. It can read a pair of DNA sequences in GenBank, Embl or Fasta formats, with or without a...
Xie, Tao, Rowen, Lee, Aguado, Begoña, Ahearn, Mary Ellen, Madan, Anup, Qin, Shizhen, ...
In mammals, the Major Histocompatibility Complex class I and II gene clusters are separated by an ∼700-kb stretch of sequence called the MHC class III region, which has been associated with...
Mutually enhancing test generation and specification inference (2003)
Abstract. Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
Exploiting synergy between testing and inferred partial specifications (2003)
The specifications of a program can be dynamically inferred from its executions, or equivalently, from the program plus a test suite. A deficient test suite or a subset of a sufficient test suite may...
Tool-assisted unit test selection based on operational violations (2003)
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternative is to use one of a...
An empirical study of Java dynamic call graph extractors (2002)
A dynamic call graph is the invocation relation that represents a specific set of runtime executions of a program. Dynamic call graph extraction is a typical application of dynamic analysis to aid...
We present a new fault exposure and localization approach intended to increase the effectiveness of regression testing. In particular, we extend traditional regression testing, which strongly focuses...
Software quality assurance (SQA) plays a key role in software development process. Software quality assurance methods include testing, inspection, formal method (program verification, model checking,...
An empirical study of Java dynamic call graph extractors (2002)
A dynamic call graph is the invocation relation that represents a specific set of runtime executions of a program. Dynamic call graph extraction is a typical application of dynamic analysis to aid...
Software quality assurance (SQA) plays a key role in software development process. Software quality assurance methods include testing, inspection, formal method (program verification, model checking,...
Chain polymerization of ester functionalized monomers (2001)
The overall purpose of this dissertation is to develop new polymer materials containing ester functionalities. This document will be separated into two sections covering two synthetic research...
Chain polymerization of ester functionalized monomers (2001)
The overall purpose of this dissertation is to develop new polymer materials containing ester functionalities. This document will be separated into two sections covering two synthetic research...
Thesis (M.S.)--Kansas State University, 1999.
Initial Proteome Analysis of Model Microorganism Haemophilus influenzae Strain Rd KW20
Kolker, Eugene, Purvine, Samuel, Galperin, Michael Y., Stolyar, Serg, Goodlett, David R., Nesvizhskii, Alexey I., ...
The proteome of Haemophilus influenzae strain Rd KW20 was analyzed by liquid chromatography (LC) coupled with ion trap tandem mass spectrometry (MS/MS). This approach does not require a gel...
Xie, Tao, Rowen, Lee, Aguado, Begoña, Ahearn, Mary Ellen, Madan, Anup, Qin, Shizhen, ...
In mammals, the Major Histocompatibility Complex class I and II gene clusters are separated by an ∼700-kb stretch of sequence called the MHC class III region, which has been associated with...
Widjaja, Linda, Krauss, Scott L., Webby, Richard J., Xie, Tao, Webster, Robert G.
Wild aquatic birds are the primary reservoir of influenza A viruses, but little is known about the viruses' gene pool in wild birds. Therefore, we investigated the ecology and emergence of influenza...
Alternative Gnas gene products have opposite effects on glucose and lipid metabolism
Chen, Min, Gavrilova, Oksana, Liu, Jie, Xie, Tao, Deng, Chuxia, Nguyen, Annie T., ...
Gnas is an imprinted gene with multiple gene products resulting from alternative splicing of different first exons onto a common exon 2. These products include stimulatory G protein α-subunit...
Initial Proteome Analysis of Model Microorganism Haemophilus influenzae Strain Rd KW20
Kolker, Eugene, Purvine, Samuel, Galperin, Michael Y., Stolyar, Serg, Goodlett, David R., Nesvizhskii, Alexey I., ...
The proteome of Haemophilus influenzae strain Rd KW20 was analyzed by liquid chromatography (LC) coupled with ion trap tandem mass spectrometry (MS/MS). This approach does not require a gel...
Xie, Tao, Rowen, Lee, Aguado, Begoña, Ahearn, Mary Ellen, Madan, Anup, Qin, Shizhen, ...
In mammals, the Major Histocompatibility Complex class I and II gene clusters are separated by an ∼700-kb stretch of sequence called the MHC class III region, which has been associated with...
Widjaja, Linda, Krauss, Scott L., Webby, Richard J., Xie, Tao, Webster, Robert G.
Wild aquatic birds are the primary reservoir of influenza A viruses, but little is known about the viruses' gene pool in wild birds. Therefore, we investigated the ecology and emergence of influenza...
Alternative Gnas gene products have opposite effects on glucose and lipid metabolism
Chen, Min, Gavrilova, Oksana, Liu, Jie, Xie, Tao, Deng, Chuxia, Nguyen, Annie T., ...
Gnas is an imprinted gene with multiple gene products resulting from alternative splicing of different first exons onto a common exon 2. These products include stimulatory G protein α-subunit...
Xie, Tao, Liu, Dongsheng, Feng, Yingang, Shan, Lu, Wang, Jinfeng
Folding stability and cooperativity of the three forms of 1–110 residues fragment of staphylococcal nuclease (SNase110) have been studied by various biophysical and NMR methods. Samples of G-88W-...
Xie, Tao, Chen, Min, Zhang, Qing-Hong, Ma, Zheng, Weinstein, Lee S.
The G protein α-subunit Gsα is required for hormone-stimulated cAMP generation. In pancreatic β cells, Gsα mediates the signaling of glucagon-like peptide 1 and other incretin hormones, which are...
Expression, purification and characterization of a phyAm-phyCs fusion phytase*
Zou, Li-kou, Wang, Hong-ning, Pan, Xin, Tian, Guo-bao, Xie, Zi-wen, Wu, Qi, ...
The phyAm gene encoding acid phytase and optimized neutral phytase phyCs gene were inserted into expression vector pPIC9K in correct orientation and transformed into Pichia pastoris in order to...
Xie, Tao, Chen, Min, Gavrilova, Oksana, Lai, Edwin W., Liu, Jie, Weinstein, Lee S.
The G protein α-subunit Gsα mediates receptor-stimulated cAMP production and is imprinted with reduced expression from the paternal allele in specific tissues. Disruption of the Gsα maternal (but...