• Publications
  • Influence
Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank
TLDR
This paper integrates data envelopment analysis (DEA) and neural networks (NNs) to examine the relative branch efficiency of a big Canadian bank. Expand
  • 276
  • 16
Generating Data Race Witnesses by an SMT-Based Analysis
TLDR
In this paper we propose an algorithm for generating debugging aid information called witnesses, which are concrete thread schedules that can deterministically trigger the data races. Expand
  • 76
  • 14
  • PDF
The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison
TLDR
We investigate the impact of 32 feature selection methods on the defect prediction performance over two versions of the NASA dataset (i.e., the noisy and clean NASA datasets) and one open source AEEEM dataset. Expand
  • 56
  • 9
  • PDF
Scalable tag recommendation for software information sites
TLDR
TagMulRec is the first tool to automatically recommend tags for largescale evolving software information sites. Expand
  • 29
  • 9
  • PDF
Is There a Best Symbolic Cycle-Detection Algorithm?
TLDR
We compare several cycle-detection algorithms based on the number of external and internal iterations and the numbers of image operations that they perform on both randomly-generated and real examples. Expand
  • 82
  • 8
A two-stage DEA model to evaluate the overall performance of Canadian life and health insurance companies
  • Zijiang Yang
  • Computer Science, Business
  • Math. Comput. Model.
  • 1 April 2006
TLDR
A two-stage data envelopment analysis (DEA) model is created to provide valuable managerial insights when assessing the dual impacts of operating and business strategies for the Canadian life and health (L&H) insurance industry. Expand
  • 121
  • 6
  • PDF
F-Soft: Software Verification Platform
TLDR
We describe our verification tool F-Soft which is developed for the analysis of C programs. Expand
  • 124
  • 5
  • PDF
A Fuzzy Subspace Algorithm for Clustering High Dimensional Data
TLDR
We present a fuzzy subspace clustering algorithm, FSC, in which each dimension has a weight associated with each cluster indicating the degree of importance of the dimension to the cluster. Expand
  • 49
  • 5
  • PDF
Peephole Partial Order Reduction
TLDR
We introduce the notion of guarded independent transitions, i.e., transitions that can be considered as independent in certain (but not necessarily) execution paths. Expand
  • 80
  • 5
  • PDF
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
TLDR
We propose a hybrid approach that integrates static and dynamic analyses to detect atomicity violations in multi-threaded Java programs. Expand
  • 35
  • 5
  • PDF