Junhua Ding

Yunhe Feng

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

GenFlowchart: Parsing and Understanding Flowchart Using Generative AI.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2024

Plenary Panel at IEEE CISOSE 2024; GenAI, Where are You Going?

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

Message From the General Chairs; IEEE AITest 2024.

[BibT_eX]

[DOI]

Hong Zhu

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

A Survey on Data Quality Dimensions and Tools for Machine Learning Invited Paper.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

Evaluation of Question-Answering Based Text Summarization using LLM Invited Paper.

[BibT_eX]

[DOI]

Huyen Nguyen

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

Plenary Panel at IEEE CISOSE 2024; Ethical, Societal, and Policy Implications of AI.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

2023

An Approach for Ensuring the Privacy in Smart Contracts.

[BibT_eX]

[DOI]

Wenqian Zhao

Meghana Patibandla

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Quality Evaluation of Summarization Models for Patent Documents.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Bias Analysis in Language Models using An Association Test and Prompt Engineering.

[BibT_eX]

[DOI]

Ravi Varma Kumar Bevara

Ting Xiao

Farahnaz Hosseini

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Keyword-based Augmentation Method to Enhance Abstractive Summarization for Legal Documents.

[BibT_eX]

[DOI]

Huyen Nguyen

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Measurement and Identification of Informative Reviews for Automated Summarization.

[BibT_eX]

[DOI]

Huyen Nguyen

K. S. M. Tozammel Hossain

Roopesh Maganti

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

Evaluating the Impact of Incentive/Non-incentive Reviews on Customer Decision-making.

[BibT_eX]

[DOI]

Kate Kargozari

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.

[BibT_eX]

[DOI]

Lavinia Florentina Pieptea

IEEE Trans. Reliab., 2022

A comparative study of automated legal text classification using random forests and deep learning.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2022

Big Four Bank Performance on Facebook and Instagram: An Analysis of Post Engagement.

[BibT_eX]

[DOI]

Ratnam Cheran

Lavinia Florentina Pieptea

Int. J. Perform. Eng., 2022

A Quantitative Study of Software Reviews Using Content Analysis Methods.

[BibT_eX]

[DOI]

Hongyu Zhang

Andrew Yang

Allen Peng

Jian Yang

IEEE Access, 2022

Data Curation and Quality Evaluation for Machine Learning-Based Cyber Intrusion Detection.

[BibT_eX]

[DOI]

IEEE Access, 2022

A Quantitative Study of Impact of Incentive to Quality of Software Reviews.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

Data Evaluation and Enhancement for Quality Improvement of Machine Learning.

[BibT_eX]

[DOI]

Jiangping Chen

IEEE Trans. Reliab., 2021

A Machine Learning Based Framework for Verification and Validation of Massive Scale Image Data.

[BibT_eX]

[DOI]

Lavinia Florentina Pieptea

Venkat N. Gudivada

IEEE Trans. Big Data, 2021

Effect of Class Imbalance on the Performance of Machine Learning-based Network Intrusion Detection.

[BibT_eX]

[DOI]

Int. J. Perform. Eng., 2021

Using latent features for building an interpretable recommendation system.

[BibT_eX]

[DOI]

Ziming Zeng

Yu Shi

Electron. Libr., 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

UNTIIA Lab at TREC 2021 - Clinical Trial.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth Text REtrieval Conference, 2021

2020

An Experience Report for Running an REU Program in an iSchool.

[BibT_eX]

[DOI]

Jiangping Chen

Alexis Palmer

Daniella LaShaun Smith

Proceedings of the Sustainable Digital Communities - 15th International Conference, 2020

SALKG: A Semantic Annotation System for Building a High-quality Legal Knowledge Graph.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM J. Data Inf. Qual., 2019

An approach for computing routes without complicated decision points in landmark-based pedestrian navigation.

[BibT_eX]

[DOI]

Int. J. Geogr. Inf. Sci., 2019

Testing Scientific Software with Invariant Relations: A Case Study.

[BibT_eX]

[DOI]

XinChuan Li

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

A Practical Framework for Evaluating the Quality of Knowledge Graph.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

XinChuan Li

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.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

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

[BibT_eX]

[DOI]

Pattern Recognit., 2017

An approach for detecting groundwater runoff connectivity using cluster analysis.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Combinatorial Methods of Feature Selection for Cell Image Classification.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

AST 2017 Workshop Summary.

[BibT_eX]

[DOI]

Hong Zhu

Patrícia D. L. Machado

Marc Roper

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

Validating a Deep Learning Framework by Metamorphic Testing.

[BibT_eX]

[DOI]

Xiaojun Kang

Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

Augmentation and evaluation of training data for deep learning.

[BibT_eX]

[DOI]

XinChuan Li

Venkat N. Gudivada

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

Building an SVM Classifier for Automated Selection of Big Data.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Congress on Big Data, 2017

Building a Deep Learning Classifier for Enhancing a Biomedical Big Data Service.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

A Machine Learning Approach for Developing Test Oracles for Testing Scientific Software.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

An application of metamorphic testing for testing scientific software.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

An approach for modeling and analyzing dynamic software architectures.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Natural Computation, 2016

An empirical study of parallel solutions for GLCM calculation of diffraction images.

[BibT_eX]

[DOI]

John Dixon

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.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A Framework for Ensuring the Quality of a Big Data Service.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

Modeling and Analyzing Publish Subscribe Architcture using Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Feature Selection and Analysis of Diffraction Images.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Efficient Computing Composite Service Skyline with QoS Correlations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Yuxiang Shao

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Development of a novel cryptography tool for personal communication.

[BibT_eX]

[DOI]

Rober Grimes

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Self-guided learning environment for undergraduate software engineering.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

An Approach for Modeling and Analyzing Mobile Push Notification Services.

[BibT_eX]

[DOI]

Wei Song

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.

[BibT_eX]

Dianxiang Xu

Jidong Ge

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

A framework for global collaboration in teaching software engineering.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development, 2013

Undergraduates and research: Motivations, challenges, and the path forward.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013

Quantifying Consistency between Conceptual and Executable Business Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Lian Mo

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Model-Based Metamorphic Testing: A Case Study.

[BibT_eX]

Dianxiang Xu

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Teaching software engineering with global understanding.

[BibT_eX]

[DOI]

Biwu Yang

Proceedings of the Second International Workshop on Collaborative Teaching of Globally Distributed Software Development, 2012

An Approach for Modeling and Analyzing Code Mobility.

[BibT_eX]

[DOI]

Jidong Ge

Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2011

Metamorphic testing of a Monte Carlo modeling program.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Development of North Carolina's first Software Engineering program: An experience report.

[BibT_eX]

[DOI]

Sergiy Vilkomir

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.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2010

Self-Checked Metamorphic Testing of an Image Processing Program.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Designing Aspects with Use Cases: A Case Study.

[BibT_eX]

Christopher R. Westbrook

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.

[BibT_eX]

[DOI]

Dianxiang Xu

Proceedings of the Third International Conference on Software Testing, 2010

2009

A methodology for evaluating test coverage criteria of high levelPetri nets.

[BibT_eX]

[DOI]

Peter J. Clarke

Gonzalo Argote-Garcia

Inf. Softw. Technol., 2009

An Approach for Modeling and Analyzing Crosscutting Concerns.

[BibT_eX]

[DOI]

Yujian Fu

Phil Bording

Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

Modular Analysis of Software Architecture Model.

[BibT_eX]

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

2008

An approach for specification construction using property-preserving refinement patterns.

[BibT_eX]

[DOI]

Lian Mo

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Mapping Software Architecture Specification to Rewriting Logic (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.

[BibT_eX]

[DOI]

Gonzalo Argote-Garcia

Peter J. Clarke

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Modeling and Model Checking of a Clinical Diagnostic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

Identifying Factors that Improve the Predictive Quality of BMI for Health Status.

[BibT_eX]

M. L. D. Ponce

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2008

2006

A formal model-based approach for developing an interoperable mobile agent system.

[BibT_eX]

[DOI]

Multiagent Grid Syst., 2006

A Tool to Automatically Map Implementation-based Testing Techniques to Classes.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2006

2005

Formally modeling and analyzing a secure mobile agent finder.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models.

[BibT_eX]

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A Tool to Map Testing Techniques to Classes.

[BibT_eX]

[DOI]

Peter J. Clarke

Brian A. Malloy

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

2004

Formally analyzing software architectural specifications using SAM .

[BibT_eX]

[DOI]

J. Syst. Softw., 2004

Modeling and analyzing security protocols in SAM: A case study.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003

A Formal Architectural Model for Logical Agent Mobility.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

2002

Model checking software architecture specifications in SAM.

[BibT_eX]

[DOI]