Zijiang Yang

According to our database1, Zijiang Yang authored at least 157 papers between 2000 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Indexing and Designing Deadbands for Industrial Alarm Signals.
IEEE Trans. Industrial Electronics, 2019

Prediction of DNA-binding proteins by interaction fusion feature representation and selective ensemble.
Knowl.-Based Syst., 2019

The Valuation of American Passport Options: A Viscosity Solution Approach.
J. Optimization Theory and Applications, 2019

Is deep learning better than traditional approaches in tag recommendation for software information sites?
Information & Software Technology, 2019

Software defect prediction based on kernel PCA and weighted extreme learning machine.
Information & Software Technology, 2019

Partial maximum correlation information: A new feature selection method for microarray data classification.
Neurocomputing, 2019

IRNet: A General Purpose Deep Residual Regression Framework for Materials Discovery.
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Content-Based Image Retrieval Based on Improved Rotation Invariant LBP Descriptor.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Sara: self-replay augmented record and replay for Android in industrial cases.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Engineering a Better Fuzzer with Synergically Integrated Optimizations.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Deep learning based domain knowledge integration for small datasets: Illustrative applications in materials informatics.
Proceedings of the International Joint Conference on Neural Networks, 2019

Managing Information Systems Requirements Volatility in Development Projects: Mapping Research and Surveying Practices.
Proceedings of the 2019 IEEE International Conference on Industrial Engineering and Engineering Management, 2019

Exploring and Evaluating the Scalability and Eficinecy of Apache Spark Using Educational Datasets.
Proceedings of the 2019 International Conference on Machine Learning and Cybernetics, 2019

sCompile: Critical Path Identification and Analysis for Smart Contracts.
Proceedings of the Formal Methods and Software Engineering, 2019

Data-Driven Insights from Predictive Analytics on Heterogeneous Experimental Data of Industrial Magnetic Materials.
Proceedings of the 2019 International Conference on Data Mining Workshops, 2019

Enhancing Seismic Resilience of Electric Power Distribution Systems with Mobile Power Sources.
Proceedings of the 2019 IEEE Industry Applications Society Annual Meeting, Baltimore, MD, USA, September 29, 2019

A Real-Time Iterative Machine Learning Approach for Temperature Profile Prediction in Additive Manufacturing Processes.
Proceedings of the 2019 IEEE International Conference on Data Science and Advanced Analytics, 2019

Audiovisual Analysis for Recognising Frustration during Game-Play: Introducing the Multimodal Game Frustration Database.
Proceedings of the 8th International Conference on Affective Computing and Intelligent Interaction, 2019

2018
Eliminating Path Redundancy via Postconditioned Symbolic Execution.
IEEE Trans. Software Eng., 2018

Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection.
IEEE Trans. Software Eng., 2018

Guest editorial: special issue on concurrent software quality.
Software Quality Journal, 2018

Localizing multiple software faults based on evolution algorithm.
Journal of Systems and Software, 2018

sCompile: Critical Path Identification and Analysis for Smart Contracts.
CoRR, 2018

A novel feature selection method to predict protein structural class.
Computational Biology and Chemistry, 2018

FastTagRec: fast tag recommendation for software information sites.
Autom. Softw. Eng., 2018

Debugging Multithreaded Programs as if They Were Sequential.
IEEE Access, 2018

Information Privacy Practices in Organizations: Activities, Knowledge and Skill Requirements for Information Technology Professionals.
Proceedings of the 2018 IEEE International Conference on Industrial Engineering and Engineering Management, 2018

EdSynth: Synthesizing API Sequences with Conditionals and Loops.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Automated localization for unreproducible builds.
Proceedings of the 40th International Conference on Software Engineering, 2018

Investigating The Influential Factors On Firefighter Injuries Using Statistical Machine Learning.
Proceedings of the 2018 International Conference on Machine Learning and Cybernetics, 2018

Test Case Prioritization Based on Method Call Sequences.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Accelerated Gradient and Block-Wise Gradient Methods for Big Data Factorization.
Proceedings of the Advances in Artificial Intelligence, 2018

2017
Dependence Guided Symbolic Execution.
IEEE Trans. Software Eng., 2017

Design of Alarm Trippoints for Univariate Analog Process Variables Based on Alarm Probability Plots.
IEEE Trans. Industrial Electronics, 2017

Feature selection by maximizing correlation information for integrated high-dimensional protein data.
Pattern Recognition Letters, 2017

An innovative one-class least squares support vector machine model based on continuous cognition.
Knowl.-Based Syst., 2017

The Bayesian Network based program dependence graph and its application to fault localization.
Journal of Systems and Software, 2017

Scalable tag recommendation for software information sites.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

AtexRace: across thread and execution sampling for in-house race detection.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Memory Distance Measurement for Concurrent Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2017

Systematic reduction of GUI test sequences.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Learning from Imbalanced Data for Predicting the Number of Software Defects.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Automated Testing of Definition-Use Data Flow for Multithreaded Programs.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing.
Proceedings of the 39th International Conference on Software Engineering, 2017

Microblog Sentiment Classification Using Parallel SVM in Apache Spark.
Proceedings of the 2017 IEEE International Congress on Big Data, 2017

2016
Improving Linguistic Pairwise Comparison Consistency via Linguistic Discrete Regions.
IEEE Trans. Fuzzy Systems, 2016

Exploiting thread-related system calls for plagiarism detection of multithreaded programs.
Journal of Systems and Software, 2016

A Multi-Source Approach for Bug Triage.
International Journal of Software Engineering and Knowledge Engineering, 2016

Debugging Multithreaded Programs as if They Were Sequential.
Proceedings of the International Conference on Software Analysis, Testing and Evolution, 2016

GUICat: GUI testing as a service.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Radius aware probabilistic testing of deadlocks with guarantees.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

The Impact of Feature Selection on Defect Prediction Performance: An Empirical Comparison.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

A new thread-aware birthmark for plagiarism detection of multithreaded programs.
Proceedings of the 38th International Conference on Software Engineering, 2016

Integrating principal component analysis and optimal histogram estimation for Bayesian control loop diagnosis.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2016

2015
Software Plagiarism Detection with Birthmarks Based on Dynamic Key Instruction Sequences.
IEEE Trans. Software Eng., 2015

Explaining Software Failures by Cascade Fault Localization.
ACM Trans. Design Autom. Electr. Syst., 2015

Exploring community structure of software Call Graph and its applications in class cohesion measurement.
Journal of Systems and Software, 2015

Policy analysis for administrative role based access control without separate administration.
Journal of Computer Security, 2015

Assertion guided symbolic execution of multithreaded programs.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Postconditioned Symbolic Execution.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

A Synergistic Analysis Method for Explaining Failed Regression Tests.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

CKNNI: An Improved KNN-Based Missing Value Handling Technique.
Proceedings of the Advanced Intelligent Computing Theories and Applications, 2015

A GPU Based SVM Method with Accelerated Kernel Matrix Calculation.
Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

2014
PLS-based recursive feature elimination for high-dimensional small sample.
Knowl.-Based Syst., 2014

Solving partially observable problems with inaccurate PSR models.
Inf. Sci., 2014

Feature selection for high-dimensional multi-category data using PLS-based local recursive feature elimination.
Expert Syst. Appl., 2014

Reducing Test Cases with Causality Partitions.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Plagiarism detection for multithreaded software based on thread-aware software birthmarks.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Directed test suite augmentation via exploiting program dependency.
Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014

DVT-PKM: An Improved GPU Based Parallel K-Means Algorithm.
Proceedings of the Intelligent Computing Methodologies - 10th International Conference, 2014

Dynamic Random Testing with Parameter Adjustment.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Detection of Correlated Alarms Based on Similarity Coefficients of Binary Data.
IEEE Trans. Automation Science and Engineering, 2013

A Distribution-Free Approach to Stochastic Efficiency Measurement with Inclusion of Expert Knowledge.
J. Applied Mathematics, 2013

Trustworthy and Dynamic Mobile Task Scheduling in Data-Intensive Scientific Workflow Environments.
I. J. Comput. Appl., 2013

New pole-searching algorithm with applications to probabilistic circular slope stability assessment.
Computers & Geosciences, 2013

An enhanced Customer Relationship Management classification framework with Partial Focus Feature Reduction.
Expert Syst. Appl., 2013

A score level fusion framework for gait-based human recognition.
Proceedings of the 15th IEEE International Workshop on Multimedia Signal Processing, 2013

Symbolic Analysis of Concurrency Errors in OpenMP Programs.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

A discrete region-based approach to improve the consistency of pair-wise comparison matrix.
Proceedings of the FUZZ-IEEE 2013, 2013

Policy Analysis for Administrative Role Based Access Control without Separate Administration.
Proceedings of the Data and Applications Security and Privacy XXVII, 2013

2012
A Dynamic AdaBoost Algorithm With Adaptive Changes of Loss Function.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2012

Deterministic replay for message-passing-based concurrent programs.
ACM Trans. Design Autom. Electr. Syst., 2012

A novel two-level nearest neighbor classification algorithm using an adaptive distance metric.
Knowl.-Based Syst., 2012

Deterministic seismic hazard map for Taiwan developed using an in-house Excel-based program.
Computers & Geosciences, 2012

Software structure evaluation based on the interaction and encapsulation of methods.
SCIENCE CHINA Information Sciences, 2012

Customer Relationship Management Using Partial Focus Feature Reduction.
Proceedings of the Neural Information Processing - 19th International Conference, 2012

2011
PLS-Based Gene Selection and Identification of Tumor-Specific Genes.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2011

HEAT: a combined approach for thread escape analysis.
Int. J. Systems Assurance Engineering and Management, 2011

Hybrid intelligent control scheme of a polymerization kettle for ACR production.
Knowl.-Based Syst., 2011

Model Checking Approach to Secure Host Access Enforcement of Mobile Tasks in Scientific Workflows.
I. J. Comput. Appl., 2011

Using partial least squares and support vector machines for bankruptcy prediction.
Expert Syst. Appl., 2011

Generating Data Race Witnesses by an SMT-Based Analysis.
Proceedings of the NASA Formal Methods, 2011

Deterministic replay for MCAPI programs.
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

Using methodologies to embed knowledge into the information systems development process: An investigation into the IT sector in China.
Proceedings of the 2011 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2011

The impact of absorptive capacity on the ex-post adoption of agile methods: The case of Extreme Programming model.
Proceedings of the 2011 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2011

Using linear discriminant analysis and data mining approaches to identify E-commerce anomaly.
Proceedings of the Seventh International Conference on Natural Computation, 2011

Towards an optimal classification model against imbalanced data for Customer Relationship Management.
Proceedings of the Seventh International Conference on Natural Computation, 2011

SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Offline symbolic analysis to infer Total Store Order.
Proceedings of the 17th International Conference on High-Performance Computer Architecture (HPCA-17 2011), 2011

2010
Information flow analysis of scientific workflows.
J. Comput. Syst. Sci., 2010

Opportunistic resource utilization networks - A new paradigm for specialized ad hoc networks.
Computers & Electrical Engineering, 2010

Using the bootstrap method to detect influential DMUs in data envelopment analysis.
Annals OR, 2010

Debugging support tool for MCAPI applications.
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

Cross System Bank Branch Evaluation Using Clustering and Data Envelopment Analysis.
Proceedings of the Advanced Intelligent Computing Theories and Applications, 2010

Trace-Driven Verification of Multithreaded Programs.
Proceedings of the Formal Methods and Software Engineering, 2010

CRI: Symbolic Debugger for MCAPI Applications.
Proceedings of the Automated Technology for Verification and Analysis, 2010

Message Race Detection for Web Services by an SMT-Based Analysis.
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

Using Learned PSR Model for Planning under Uncertainty.
Proceedings of the Advances in Artificial Intelligence, 2010

2009
Model checking sequential software programs via mixed symbolic analysis.
ACM Trans. Design Autom. Electr. Syst., 2009

Lag Synchronization of Unknown Chaotic Delayed Yang-Yang-Type Fuzzy Neural Networks With Noise Perturbation Based on Adaptive Control and Parameter Identification.
IEEE Trans. Neural Networks, 2009

Assessing the performance of Canadian bank branches using data envelopment analysis.
JORS, 2009

Offline symbolic analysis for multi-processor execution replay.
Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Dynamic Path Reduction for Software Model Checking.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

A Novel Method for Progressive Multiple Sequence Alignment Based on Lempel-Ziv.
Proceedings of the Neural Information Processing, 16th International Conference, 2009

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Efficient SAT-based bounded model checking for software verification.
Theor. Comput. Sci., 2008

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008

Peephole Partial Order Reduction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Application of Fuzzy Classification in Bankruptcy Prediction.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008

2007
Disjunctive image computation for software verification.
ACM Trans. Design Autom. Electr. Syst., 2007

Linking commercial website functions to perceived usefulness: A free disposal hull approach.
Mathematical and Computer Modelling, 2007

Simultaneous analysis of production and investment performance of Canadian life and health insurance companies using data envelopment analysis.
Computers & OR, 2007

Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework.
Proceedings of the 26th IEEE International Performance Computing and Communications Conference, 2007

Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines.
Proceedings of the Third International Conference on e-Science and Grid Computing, 2007

The MicroOppnet tool for Collaborative Computing experiments with class 2 opportunistic networks.
Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Efficient distributed SAT and SAT-based distributed Bounded Model Checking.
STTT, 2006

A two-stage DEA model to evaluate the overall performance of Canadian life and health insurance companies.
Mathematical and Computer Modelling, 2006

Using DEA-neural network approach to evaluate branch efficiency of a large Canadian bank.
Expert Syst. Appl., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Evaluating alternative DEA models used to control for non-discretionary inputs.
Computers & OR, 2006

Efficiency analysis of cross-region bank branches using fuzzy data envelopment analysis.
Applied Mathematics and Computation, 2006

Mixed symbolic representations for model checking software programs.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

PARTCAT: A Subspace Clustering Algorithm for High Dimensional Categorical Data.
Proceedings of the International Joint Conference on Neural Networks, 2006

Cross Firm Bank Branch Benchmarking Using "Handicapped" Data Envelopment Analysis to Adjust for Corporate Strategic Effects.
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

Disjunctive image computation for embedded software verification.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Runtime Security Verification for Itinerary-Driven Mobile Agents.
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

Whodunit? Causal Analysis for Counterexamples.
Proceedings of the Automated Technology for Verification and Analysis, 2006

A Fuzzy Subspace Algorithm for Clustering High Dimensional Data.
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

PDC: Pattern discovery with confidence in DNA sequences.
Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006

2005
Model Checking C Programs Using F-SOFT.
Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

F-Soft: Software Verification Platform.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

A Genetic k-Modes Algorithm for Clustering Categorical Data.
Proceedings of the Advanced Data Mining and Applications, First International Conference, 2005

2004
DEA evaluation of a Y2K software retrofit program.
IEEE Trans. Engineering Management, 2004

Execution of A Requirement Model in Software Development.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

Variable Reuse for Efficient Image Computation.
Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003
Iterative Abstraction using SAT-based BMC with Proof Analysis.
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Learning from BDDs in SAT-based bounded model checking.
Proceedings of the 40th Design Automation Conference, 2003

Abstraction and BDDs Complement SAT-Based BMC in DiVer.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Exploiting Behavioral Hierarchy for Efficient Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Is There a Best Symbolic Cycle-Detection Algorithm?
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.
Proceedings of the 38th Design Automation Conference, 2001

2000
SAT-Based Image Computation with Application in Reachability Analysis.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000


  Loading...