Search For:

Displaying 1-35 out of 35 total
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs
Found in: IEEE Transactions on Software Engineering
By Yan Cai,W.K. Chan
Issue Date:March 2014
pp. 266-281
We present Magiclock, a novel potential deadlock detection technique by analyzing execution traces (containing no deadlock occurrence) of large-scale multithreaded programs. Magiclock iteratively eliminates removable lock dependencies before potential dead...
 
Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study
Found in: IEEE Transactions on Services Computing
By Ke Zhai,Bo Jiang,W.K. Chan
Issue Date:January 2014
pp. 54-67
Location-based services (LBS) are widely deployed. When the implementation of an LBS-enabled service has evolved, regression testing can be employed to assure the previously established behaviors not having been adversely affected. Proper test case priorit...
 
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions
Found in: 2013 IEEE International Conference on Web Services (ICWS)
By Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan
Issue Date:June 2013
pp. 147-154
Many web services represent their artifacts in the semi-structural format. Such artifacts may or may not be structurally complex. Many existing test case prioritization techniques however treat test cases of different complexity generically. In this paper,...
 
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications
Found in: Distributed Computing Systems, International Conference on
By Chang Xu, S.C. Cheung, W.K. Chan, Chunyang Ye
Issue Date:June 2008
pp. 713-721
Context-awareness allows pervasive applications to adapt to changeable computing environments. Contexts, the pieces of information that capture the characteristics of environments, are often error-prone and inconsistent due to noises. Various strategies ha...
 
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 ...
 
Lock Trace Reduction for Multithreaded Programs
Found in: IEEE Transactions on Parallel and Distributed Systems
By Yan Cai,W.K. Chan
Issue Date:December 2013
pp. 2407-2417
Many happened-before-based detectors for debugging multithreaded programs implement vector clocks to incrementally track the casual relations among synchronization events produced by concurrent threads and generate trace logs. They update the vector clocks...
 
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...
 
Point-of-Interest Aware Test Case Prioritization: Methods and Experiments
Found in: Quality Software, International Conference on
By Ke Zhai, W.K. Chan
Issue Date:July 2010
pp. 449-456
Location based services personalize their behaviors based on location data. When data kept by a service have evolved or the code has been modified, regression testing can be employed to assure the quality of services. Frequent data update however may lead ...
 
Atomicity Analysis of Service Composition across Organizations
Found in: IEEE Transactions on Software Engineering
By Chunyang Ye, S.C. Cheung, W.K. Chan, Chang Xu
Issue Date:January 2009
pp. 2-28
Atomicity is a highly desirable property for achieving application consistency in service compositions. To achieve atomicity, a service composition should satisfy the atomicity sphere, a structural criterion for the backend processes of involved services. ...
 
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...
 
Process Evolution with Atomicity Consistency
Found in: Software Engineering for Adaptive and Self-Managing Systems, International Workshop on
By Chunyang Ye, S.C. Cheung, W.K. Chan
Issue Date:May 2007
pp. 19
The processes enacting cross-organizational collaboration continually evolve to adapt to changing business environments. These processes may evolve at any time during collaboration when collaborative organizations should respond timely to critical environm...
 
LOFT: Redundant Synchronization Event Removal for Data Race Detection
Found in: Software Reliability Engineering, International Symposium on
By Yan Cai,W.K. Chan
Issue Date:December 2011
pp. 160-169
Many happens-before based techniques for multithreaded programs implement vector clocks to track incrementally the causal relations among the synchronization operations acting on threads and locks. In these detectors, every such operation results in a vect...
 
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization
Found in: Quality Software, International Conference on
By Bo Jiang, W.K. Chan
Issue Date:July 2010
pp. 377-384
Testing and debugging account for at least 30% of the project effort. Scientific advancements in individual activities or their integration may bring significant impacts to the practice of software development. Fault localization is the foremost debugging ...
 
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...
 
Weaving Context Sensitivity into Test Suite Construction
Found in: Automated Software Engineering, International Conference on
By Huai Wang, W.K. Chan
Issue Date:November 2009
pp. 610-614
Context-aware applications capture environmental changes as contexts and self-adapt their behaviors dynamically. Existing testing research has not explored context evolutions or their patterns inherent to individual test cases when constructing test suites...
 
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization
Found in: Software Engineering, International Conference on
By Xinming Wang, S.C. Cheung, W.K. Chan, Zhenyu Zhang
Issue Date:May 2009
pp. 45-55
Recent techniques for fault localization leverage code coverage to address the high cost problem of debugging. These techniques exploit the correlations between program failures and the coverage of program entities as the clue in locating faults. Experimen...
 
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...
 
Do Maintainers Utilize Deployed Design Patterns Effectively?
Found in: Software Engineering, International Conference on
By T.H. Ng, S.C. Cheung, W.K. Chan, Y.T. Yu
Issue Date:May 2007
pp. 168-177
One claimed benefit of deploying design patterns is facilitating maintainers to perform anticipated changes. However, it is not at all obvious that the relevant design patterns deployed in software will invariably be utilized for the changes. Moreover, we ...
 
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
Found in: Software Engineering for Adaptive and Self-Managing Systems, International Workshop on
By Chang Xu, S.C. Cheung, W.K. Chan
Issue Date:May 2007
pp. 17
Ubiquitous systems adaptive to their dynamic environments find their roles useful in many modern applications. Their adaptability, however, can be badly impaired if the environments are incorrectly perceived. Our earlier work has proposed a technique to ev...
 
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...
 
Integrating Linguistic Primitives in Learning Context-Dependent Representation
Found in: IEEE Transactions on Knowledge and Data Engineering
By Samuel W.K. Chan
Issue Date:March 2001
pp. 157-175
<p><b>Abstract</b>—This paper presents an explicit connectionist-inspired, language learning model in which the process of settling on a particular interpretation for a sentence emerges from the interaction of a set of “soft” lexical, sem...
 
Using Lexical and Contextual Constraints in Language Understanding
Found in: Information, Intelligence, and Systems, International Conference on
By Samuel W.K. Chan
Issue Date:April 1999
pp. 400
Following the principles of compositionality and locality in language understanding, we propose a representation formalism which manages to model the lexical and contextual similarity constraints. The formalism follows the symbolic-connectionist approach, ...
 
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...
 
ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs
Found in: IEEE Transactions on Parallel and Distributed Systems
By Yan Cai,Changjiang Jia,Shangru Wu,Ke Zhai,W.K. Chan
Issue Date:February 2014
pp. 1
Many large-scale multithreaded programs incur deadlock bugs. Existing deadlock warning detection techniques only report warning scenarios, which may or may not be real deadlocks. Each warning should be further verified on whether it may manifest into a rea...
 
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization
Found in: 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC)
By Bo Jiang,W.K. Chan
Issue Date:July 2013
pp. 190-199
Test case prioritization assigns the execution priorities of the test cases in a given test suite with the aim of achieving certain goals. Many existing test case prioritization techniques however assume the full-fledged availability of code coverage data,...
 
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...
 
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...
 
Applying Machine Learning to Identify Chinese Discourse Markers
Found in: Information, Intelligence, and Systems, International Conference on
By Benjamin K. Tsou, Weijun Gao, Tom B.Y. Lai, Samuel W.K. Chan
Issue Date:April 1999
pp. 548
With their high occurrence rates in argumentative Chinese texts, discourse markers play a significant role in the automatic processing of these kinds of Chinese texts, such as automatic summarization. This paper reports on an effort in applying machine lea...
 
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs
Found in: Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP '13)
By Ke Zhai, Shangru Wu, W.K. Chan, Yan Cai
Issue Date:February 2013
pp. 311-312
This paper presents the aim of TeamWork, our ongoing effort to develop a comprehensive dynamic deadlock confirmation tool for multithreaded programs. It also presents a refined object abstraction algorithm that refines the existing stack hash abstraction.
     
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