Search For:

Displaying 1-32 out of 32 total
A Comparison of Tabular Expression-Based Testing Strategies
Found in: IEEE Transactions on Software Engineering
By Xin Feng,David Lorge Parnas,T.H. Tse,Tony O'Callaghan
Issue Date:September 2011
pp. 616-634
Tabular expressions have been proposed as a notation to document mathematically precise but readable software specifications. One of the many roles of such documentation is to guide testers. This paper 1) explores the application of four testing strategies...
 
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software
Found in: Quality Software, International Conference on
By Bo Jiang, T.H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li
Issue Date:July 2010
pp. 62-71
Model-based testing helps test engineers automate their testing tasks so that they can be more cost-effective. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date for regression testin...
 
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
Found in: IEEE Transactions on Software Engineering
By Tsong Yueh Chen, T.H. Tse, Zhi Quan Zhou
Issue Date:January 2011
pp. 109-125
We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For programs where global symbolic evaluation can be conducted and the constraint e...
 
Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software
Found in: IEEE Transactions on Software Engineering
By Huo Yan Chen,T.H. Tse
Issue Date:November 2013
pp. 1549-1563
Algebraic specifications have been used in the testing of object-oriented programs and received much attention since the 1990s. It is generally believed that class-level testing based on algebraic specifications involves two independent aspects: the testin...
 
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications for Object-Oriented Program Testing
Found in: Computer Science and Software Engineering, International Conference on
By Huo Yan Chen, Lin Tan, T.H. Tse
Issue Date:December 2008
pp. 747-750
In order to ensure reliability and quality, software systems must be tested. Testing object-oriented software is harder than testing procedure-oriented software. It involves four levels, namely the algorithmic level, class level, cluster level, and system ...
 
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
Found in: IEEE Transactions on Software Engineering
By T.Y. Chen, Pak-Lok Poon, T.H. Tse
Issue Date:July 2003
pp. 577-593
<p><b>Abstract</b>—We describe in this paper a choice relation framework for supporting category-partition test case generation. We capture the constraints among various values (or ranges of values) of the parameters and environment condi...
 
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes
Found in: Computer Science and Software Engineering, International Conference on
By Yu Xia Sun, Huo Yan Chen, T.H. Tse
Issue Date:December 2008
pp. 708-711
By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The conversions between a source program and its XML representation can be easily ...
 
Data flow testing of service-oriented workflow applications
Found in: Software Engineering, International Conference on
By Lijun Mei, W.K. Chan, T.H. Tse
Issue Date:May 2008
pp. 371-380
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from the XML messages received, resulting in erroneous results in the integrated ...
 
Fault Localization Based Only on Failed Runs
Found in: Computer
By Zhenyu Zhang,W.K. Chan,T.H. Tse
Issue Date:June 2012
pp. 64-71
Fault localization commonly relies on both passed and failed runs, but passed runs are generally susceptible to coincidental correctness and modern software automatically produces a huge number of bug reports on failed runs. FOnly is an effective new techn...
 
Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems
Found in: Quality Software, International Conference on
By Huai Wang, Ke Zhai, T.H. Tse
Issue Date:July 2010
pp. 151-160
Pervasive computing systems often use middleware as a means to communicate with the changing environment. However, the interactions with the context-aware middleware as well as the interactions among applications sharing the same middleware may introduce f...
 
A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Lijun Mei, W.K. Chan, T.H. Tse
Issue Date:December 2008
pp. 464-469
Cloud computing is an emerging computing paradigm. It aims to share data, calculations, and services transparently among users of a massive grid. Although the industry has started selling cloud-computing products, research challenges in various areas, such...
 
Toward Scalable Statistical Service Selection
Found in: Service-Oriented System Engineering, IEEE International Workshop on
By Lijun Mei, W.K. Chan, T.H. Tse
Issue Date:December 2008
pp. 166-171
Selecting quality services over the Internet is tedious because it requires looking up of potential services, and yet the qualities of these services may evolve with time. Existing techniques have not studied the contextual effect of service composition wi...
 
An Adaptive Service Selection Approach to Service Composition
Found in: Web Services, IEEE International Conference on
By Lijun Mei, W.K. Chan, T.H. Tse
Issue Date:September 2008
pp. 70-77
In service computing, the behavior of a service may evolve. When an organization develops a service-oriented application in which certain services are provided by external partners, the organization should address the problem of uninformed behavior evoluti...
 
Tabular Expression-Based Testing Strategies: A Comparison
Found in: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION
By Xin Feng, David Lorge Parnas, T.H. Tse
Issue Date:September 2007
pp. 134
Tabular expressions were proposed as a documentation tool that can be used to document software precisely and unambiguously. This paper explores the applications of four testing strategies in tabular expression-based specifications and further compares the...
   
Static Slicing for Pervasive Programs
Found in: Quality Software, International Conference on
By Heng Lu, W.K. Chan, T.H. Tse
Issue Date:October 2006
pp. 185-192
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code analysis techniques, can clarify the dependence between program artifacts and...
 
A Subsumption Hierarchy of Test Case Prioritization for Composite Services
Found in: IEEE Transactions on Services Computing
By Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan,Zhenyu Zhang,T.H. Tse
Issue Date:June 2014
pp. 1
Many composite workflow services utilize non-imperative XML technologies such as WSDL, XPath, XML schema, and XML messages. Regression testing should assure the services against regression faults that appear in both the workflows and these artifacts. In th...
 
Preemptive Regression Testing of Workflow-based Web Services
Found in: IEEE Transactions on Services Computing
By Lijun Mei,W.K. Chan,T.H. Tse,Bo Jiang,Ke Zhai
Issue Date:May 2014
pp. 1
An external web service may evolve without prior notification. In the course of the regression testing of a workflow-based web service, existing test case prioritization techniques may only verify the latest service composition using the not-yet-executed t...
 
A Dynamic Fault Localization Technique with Noise Reduction for Java Programs
Found in: Quality Software, International Conference on
By Jian Xu, W.K. Chan, Zhenyu Zhang, T.H. Tse, Shanping Li
Issue Date:July 2011
pp. 11-20
Existing fault localization techniques combine various program features and similarity coefficients with the aim of precisely assessing the similarities among the dynamic spectra of these program features to predict the locations of faults. Many such techn...
 
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization
Found in: Quality Software, International Conference on
By Bo Jiang, W.K. Chan, T.H. Tse
Issue Date:July 2011
pp. 21-30
An effective integration between testing and debugging should address how well testing and fault localization can work together productively. In this paper, we report an empirical study on the effectiveness of using adequate test suites for fault localizat...
 
Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines
Found in: Quality Software, International Conference on
By Edward Y.Y. Kan, W.K. Chan, T.H. Tse
Issue Date:July 2010
pp. 473-480
Tasks running on embedded systems are often associated with deadlines. While it is important to complete tasks before their associated deadlines, performance and energy consumption also play important roles in many usages of embedded systems. To address th...
 
Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization
Found in: Web Services, IEEE International Conference on
By Ke Zhai, Bo Jiang, W.K. Chan, T.H. Tse
Issue Date:July 2010
pp. 211-218
Dynamic service compositions pose new verification and validation challenges such as uncertainty in service membership. Moreover, applying an entire test suite to loosely coupled services one after another in the same composition can be too rigid and restr...
 
Testing pervasive software in the presence of context inconsistency resolution services
Found in: Software Engineering, International Conference on
By Heng Lu, W.K. Chan, T.H. Tse
Issue Date:May 2008
pp. 61-70
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pervasive computing environment to context-aware applications. A faulty context...
 
An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing
Found in: Hawaii International Conference on System Sciences
By T.Y. Chen, De Hao Huang, T.H. Tse, Zongyuan Yang
Issue Date:January 2007
pp. 262a
Adaptive Random Testing (ART) is an effective improvement of Random Testing (RT) in the sense that fewer test cases are needed to detect the first failure. It is based on the observation that failure-causing inputs are normally clustered in one or more con...
   
Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering
Found in: Computer Software and Applications Conference, Annual International
By W. K. Chan, S. C. Cheung, Jeffrey C.F. Ho, T.H. Tse
Issue Date:September 2006
pp. 429-438
Software with graphics rendering is an important class of applications. Many of them use polygonal models to represent the graphics. Mesh simplification is a vital technique to vary the levels of object details and, hence, improve the overall performance o...
 
Fault-Based Testing in the Absence of an Oracle
Found in: Computer Software and Applications Conference, Annual International
By T.Y. Chen, T.H. Tse, Zhiquan Zhou
Issue Date:October 2001
pp. 172
Although testing is the most popular method for assuring software quality, there are two recognized limitations, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set p...
 
Testing of Large Number Multiplication Functions in Cryptographic Systems
Found in: Asia-Pacific Conference on Quality Software
By T.H. Tse, Zhiquan Zhou, T.Y. Chen
Issue Date:October 2000
pp. 89
Integer multiplication is one of the fundamental functions in cryptographic systems. Although much research has already been done on the testing of multiplication functions, most does not meet the need of cryptographic systems, where very large numbers are...
 
On the Completeness of Test Cases for Atomic Arithmetic Expressions
Found in: Asia-Pacific Conference on Quality Software
By T.H. Tse, X. Feng, T.Y. Chen
Issue Date:October 2000
pp. 149
Most research on weak mutation testing focuses on predicate statements. Relative little attention has been paid to arithmetic expressions. In this paper, we analyse the latter type of expression and prove that, given an atomic arithmetic expression, if it ...
 
Towards Harmonized Professional Standards for Software Engineers: Constraints, Conflicts, and Concessions
Found in: Computer Software and Applications Conference, Annual International
By T.H. Tse
Issue Date:October 2000
pp. 346
No summary available.
 
One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education
Found in: Computer Software and Applications Conference, Annual International
By T.H. Tse
Issue Date:October 1999
pp. 246
There are two contradicting ideologies in software engineering education. Each of them, however, has its own problems. We advocate that the future of software engineering education lies in integrating the two worlds. SE education should not only be an engi...
 
A New Restructuring Algorithm for the Classification-Tree Method
Found in: Software Technology and Engineering Practice, International Workshop on
By T.Y. Chen, P.L. Poon, T.H. Tse
Issue Date:September 1999
pp. 105
The classification-tree method developed by Grochtmann and Grimm facilitates the identification of test cases from functional specifications via the construction of classification trees. Their method has been enhanced by Chen and Poon through the classific...
 
Data flow testing of service-oriented workflow applications
Found in: Proceedings of the 13th international conference on Software engineering (ICSE '08)
By Lijun Mei, T.H. Tse, W.K. Chan
Issue Date:May 2008
pp. 1-1
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from the XML messages received, resulting in erroneous results in the integrated ...
     
Testing pervasive software in the presence of context inconsistency resolution services
Found in: Proceedings of the 13th international conference on Software engineering (ICSE '08)
By Heng Lu, T.H. Tse, W.K. Chan
Issue Date:May 2008
pp. 1-1
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pervasive computing environment to context-aware applications. A faulty context...
     
 1