Mingyue Jiang

Orcid: 0000-0002-0758-1616

According to our database1, Mingyue Jiang authored at least 48 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An application study on multimodal fake news detection based on Albert-ResNet50 Model.
Multim. Tools Appl., January, 2024

Towards an understanding of intra-defect associations: Implications for defect prediction.
J. Syst. Softw., January, 2024

2023
A software-defined MAPE-K architecture for unmanned systems.
Sci. China Inf. Sci., May, 2023

Metamorphic Testing of Relation Extraction Models.
Algorithms, February, 2023

Automated Image Reduction for Explaining Black-box Classifiers.
Proceedings of the IEEE International Conference on Software Analysis, 2023

2022
On the effectiveness of testing sentiment analysis systems with metamorphic testing.
Inf. Softw. Technol., 2022

A multi-cycle and multi-echelon location-routing problem for integrated reverse logistics.
Ind. Manag. Data Syst., 2022

Metamorphic testing of named entity recognition systems: A case study.
IET Softw., 2022

Construction and application of COVID-19 infectors activity information knowledge graph.
Comput. Biol. Medicine, 2022

Deceiving Deep Neural Networks-Based Binary Code Matching with Adversarial Programs.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

On the Usefulness of Crossover in Search-Based Test Case Generation: An Industrial Report.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations.
IEEE Trans. Reliab., 2021

Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search.
Inf. Softw. Technol., 2021

Random grouping based resilient beamforming.
Autom., 2021

Evaluating Natural Language Inference Models: A Metamorphic Testing Approach.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

SPICA: A Methodology for Reviewing and Analysing Fault Localisation Techniques.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Perception Matters: Detecting Perception Failures of VQA Models Using Metamorphic Testing.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021

Dense Crowd Counting Based on ResNet.
Proceedings of the 7th IEEE International Conference on Cloud Computing and Intelligent Systems, 2021

2020
An improved diffusion model for supply chain emergency in uncertain environment.
Soft Comput., 2020

Fault Localization With Weighted Test Model in Model Transformations.
IEEE Access, 2020

Metamorphic Testing of Code Search Engines.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019
Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model.
IEEE Access, 2019

A Fault Localization Method Based on Dynamic Failed Execution Blocks.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Metamorphic Testing in Fault Localization of Model Transformations.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Market Risks Prevention and Control of "Going Global" for Chinese Electrical Enterprises.
Proceedings of the 7th International Conference on Information Technology and Quantitative Management, 2019

Dynamic Algorithm Selection for Mobile Robots Motion Planning.
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

2018
Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2017
A metamorphic testing approach for supporting program repair without the need for a test oracle.
J. Syst. Softw., 2017

REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence.
Proceedings of the Formal Methods and Software Engineering, 2017

2016
Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks.
IEEE Trans. Intell. Transp. Syst., 2016

Petri net based test case generation for evolved specification.
Sci. China Inf. Sci., 2016

2015
A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2015

Formal modeling and verification of secure mobile agent systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
Testing Model Transformation Programs using Metamorphic Testing.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

2012
Port-Based Reliability Computing for Service Composition.
IEEE Trans. Serv. Comput., 2012

Service Selection Based On Behavior Matching.
J. Softw., 2012

2011
Automation of test case generation from textual use cases.
Proceedings of the 4th International Conference on Interaction Sciences: Information Technology, 2011

From textual use cases to service component models.
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, 2011

2010
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications.
Proceedings of the 10th International Conference on Quality Software, 2010

2009
Reliability Computing for Service Composition.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Modelling and Verification of Port Based Component Composition.
Proceedings of the Ninth International Conference on Quality Software, 2009

Rebuilding Web Application Requirements Based on User Navigation.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Dynamic Group Decision Making Consistence Convergence Rate Analysis Based on Inertia Particle Swarm Optimization Algorithm.
Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009

Modelling and Verification of Web Navigation.
Proceedings of the Web Engineering, 9th International Conference, 2009

Port Based Reliability Computing for Service Composition.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

Model Checking Service Component Composition by SPIN.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009


  Loading...