Zijiang Yang

Publications
Influence

Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank

D. Wu, Zijiang Yang, L. Liang
Business, Computer Science
Expert Syst. Appl.
1 July 2006

This paper integrates data envelopment analysis (DEA) and neural networks (NNs) to examine the relative branch efficiency of a big Canadian bank. Expand

Generating Data Race Witnesses by an SMT-Based Analysis

Mahmoud Said, C. Wang, Zijiang Yang, K. Sakallah
Computer Science
NASA Formal Methods
18 April 2011

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

The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison

Z. Xu, J. Liu, Zijiang Yang, G. An, Xiangyang Jia
Engineering, Computer Science
IEEE 27th International Symposium on Software…
1 October 2016

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

Scalable tag recommendation for software information sites

P. Zhou, J. Liu, Zijiang Yang, G. Zhou
Computer Science
IEEE 24th International Conference on Software…
1 February 2017

TagMulRec is the first tool to automatically recommend tags for largescale evolving software information sites. Expand

Is There a Best Symbolic Cycle-Detection Algorithm?

K. Fisler, Ranan Fraer, G. Kamhi, Moshe Y. Vardi, Zijiang Yang
Computer Science
TACAS
2 April 2001

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

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

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

F-Soft: Software Verification Platform

Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, I. Shlyakhter, P. Ashar
Computer Science
CAV
6 July 2005

We describe our verification tool F-Soft which is developed for the analysis of C programs. Expand

A Fuzzy Subspace Algorithm for Clustering High Dimensional Data

G. Gan, J. Wu, Zijiang Yang
Mathematics, Computer Science
ADMA
14 August 2006

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

Peephole Partial Order Reduction

C. Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
Mathematics, Computer Science
TACAS
29 March 2008

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

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

Q. Chen, Liqiang Wang, Zijiang Yang, S. Stoller
Computer Science
FASE
28 March 2009

We propose a hybrid approach that integrates static and dynamic analyses to detect atomicity violations in multi-threaded Java programs. Expand

Recommended Authors