Junhua Ding

Orcid: 0000-0002-2129-1586

Affiliations:
  • University of North Texas, Department of Information Science, Denton, TX, USA
  • East Carolina University, Department of Computer Science, Greenville, NC, USA
  • Florida International University, School of Computer Science, University Park, FL, USA (PhD)


According to our database1, Junhua Ding authored at least 81 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
PreciseDebias: An Automatic Prompt Engineering Approach for Generative AI to Mitigate Image Demographic Biases.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023
An Approach for Ensuring the Privacy in Smart Contracts.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Quality Evaluation of Summarization Models for Patent Documents.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Bias Analysis in Language Models using An Association Test and Prompt Engineering.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Keyword-based Augmentation Method to Enhance Abstractive Summarization for Legal Documents.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Measurement and Identification of Informative Reviews for Automated Summarization.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

Evaluating the Impact of Incentive/Non-incentive Reviews on Customer Decision-making.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

2022
Construction and Evaluation of a High-Quality Corpus for Legal Intelligence Using Semiautomated Approaches.
IEEE Trans. Reliab., 2022

A comparative study of automated legal text classification using random forests and deep learning.
Inf. Process. Manag., 2022

Big Four Bank Performance on Facebook and Instagram: An Analysis of Post Engagement.
Int. J. Perform. Eng., 2022

A Quantitative Study of Software Reviews Using Content Analysis Methods.
IEEE Access, 2022

Data Curation and Quality Evaluation for Machine Learning-Based Cyber Intrusion Detection.
IEEE Access, 2022

A Quantitative Study of Impact of Incentive to Quality of Software Reviews.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021
Data Evaluation and Enhancement for Quality Improvement of Machine Learning.
IEEE Trans. Reliab., 2021

A Machine Learning Based Framework for Verification and Validation of Massive Scale Image Data.
IEEE Trans. Big Data, 2021

Effect of Class Imbalance on the Performance of Machine Learning-based Network Intrusion Detection.
Int. J. Perform. Eng., 2021

Using latent features for building an interpretable recommendation system.
Electron. Libr., 2021

Data Curation and Quality Assurance for Machine Learning-based Cyber Intrusion Detection.
CoRR, 2021

UNTIIA Lab at TREC 2021 - Clinical Trial.
Proceedings of the Thirtieth Text REtrieval Conference, 2021

2020
An Experience Report for Running an REU Program in an iSchool.
Proceedings of the Sustainable Digital Communities - 15th International Conference, 2020

SALKG: A Semantic Annotation System for Building a High-quality Legal Knowledge Graph.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019
A Case Study of the Augmentation and Evaluation of Training Data for Deep Learning.
ACM J. Data Inf. Qual., 2019

An approach for computing routes without complicated decision points in landmark-based pedestrian navigation.
Int. J. Geogr. Inf. Sci., 2019

Testing Scientific Software with Invariant Relations: A Case Study.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

A Practical Framework for Evaluating the Quality of Knowledge Graph.
Proceedings of the Knowledge Graph and Semantic Computing: Knowledge Computing and Language Understanding, 2019

2018
An Approach for Validating Quality of Datasets for Machine Learning.
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017
Application of metamorphic testing monitored by test adequacy in a Monte Carlo simulation program.
Softw. Qual. J., 2017

Pattern recognition and classification of two cancer cell lines by diffraction imaging at multiple pixel distances.
Pattern Recognit., 2017

An approach for detecting groundwater runoff connectivity using cluster analysis.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Combinatorial Methods of Feature Selection for Cell Image Classification.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

AST 2017 Workshop Summary.
Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

Validating a Deep Learning Framework by Metamorphic Testing.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

Augmentation and evaluation of training data for deep learning.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

Building an SVM Classifier for Automated Selection of Big Data.
Proceedings of the 2017 IEEE International Congress on Big Data, 2017

Building a Deep Learning Classifier for Enhancing a Biomedical Big Data Service.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
A Machine Learning Approach for Developing Test Oracles for Testing Scientific Software.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

An application of metamorphic testing for testing scientific software.
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

An approach for modeling and analyzing dynamic software architectures.
Proceedings of the 12th International Conference on Natural Computation, 2016

An empirical study of parallel solutions for GLCM calculation of diffraction images.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

An Approach for Iteratively Generating Adequate Tests in Metamorphic Testing: A Case Study.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A Framework for Ensuring the Quality of a Big Data Service.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
Modeling and Analyzing Publish Subscribe Architcture using Petri Nets.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Feature Selection and Analysis of Diffraction Images.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Efficient Computing Composite Service Skyline with QoS Correlations.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Development of A Sliding Window Protocol for Data Synchronization in a Flow Cytometer.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Development of a novel cryptography tool for personal communication.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Self-guided learning environment for undergraduate software engineering.
Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

An Approach for Modeling and Analyzing Mobile Push Notification Services.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013
An Approach for Analyzing Software Specifications in Petri Nets.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

A framework for global collaboration in teaching software engineering.
Proceedings of the 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development, 2013

Undergraduates and research: Motivations, challenges, and the path forward.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

An approach for modeling and analyzing the communication protocols in a telemedicine system.
Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013

Quantifying Consistency between Conceptual and Executable Business Processes.
Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012
Enforcement of Role Based Access Control in Social Network Environments.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Model-Based Metamorphic Testing: A Case Study.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Teaching software engineering with global understanding.
Proceedings of the Second International Workshop on Collaborative Teaching of Globally Distributed Software Development, 2012

An Approach for Modeling and Analyzing Code Mobility.
Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2011
Metamorphic testing of a Monte Carlo modeling program.
Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Development of North Carolina's first Software Engineering program: An experience report.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010
Formal Specification and Analysis of an Agent-Based Medical Image Processing System.
Int. J. Softw. Eng. Knowl. Eng., 2010

Self-Checked Metamorphic Testing of an Image Processing Program.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Designing Aspects with Use Cases: A Case Study.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Prioritizing State-Based Aspect Tests.
Proceedings of the Third International Conference on Software Testing, 2010

2009
A methodology for evaluating test coverage criteria of high levelPetri nets.
Inf. Softw. Technol., 2009

An Approach for Modeling and Analyzing Crosscutting Concerns.
Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

Modular Analysis of Software Architecture Model.
Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

2008
An approach for specification construction using property-preserving refinement patterns.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Mapping Software Architecture Specification to Rewriting Logic (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Modeling and Model Checking of a Clinical Diagnostic Algorithm.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

Identifying Factors that Improve the Predictive Quality of BMI for Health Status.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2008

2006
A formal model-based approach for developing an interoperable mobile agent system.
Multiagent Grid Syst., 2006

A Tool to Automatically Map Implementation-based Testing Techniques to Classes.
Int. J. Softw. Eng. Knowl. Eng., 2006

2005
Formally modeling and analyzing a secure mobile agent finder.
Proceedings of the IEEE International Conference on Systems, 2005

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A Tool to Map Testing Techniques to Classes.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004
Formally analyzing software architectural specifications using SAM .
J. Syst. Softw., 2004

Modeling and analyzing security protocols in SAM: A case study.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003
A Formal Architectural Model for Logical Agent Mobility.
IEEE Trans. Software Eng., 2003

2002
Model checking software architecture specifications in SAM.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

1998
On Open Communication Frameworks for Software Agents.
Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998


  Loading...