Mingyue Jiang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 38

Top Topics

Fault Localization

Stochastic Systems

Behavioral Models

Top Venues

Sci. China Inf. Sci.

Inf. Softw. Technol.

J. Syst. Softw.

Publications

Junpeng Jiang, Mingyue Jiang, Liming Nie, Zuohua Ding
A source model simplification method to assist model transformation debugging. Softw. Qual. J. 32 (3) (2024)
Yangyang Zhao, Mingyue Jiang, Yibiao Yang, Yuming Zhou, Hanjie Ma, Zuohua Ding
Towards an understanding of intra-defect associations: Implications for defect prediction. J. Syst. Softw. 207 (2024)
Mingyue Jiang, Chang Jing, Liming Chen, Yang Wang, Shouqiang Liu
An application study on multimodal fake news detection based on Albert-ResNet50 Model. Multim. Tools Appl. 83 (3) (2024)
Xiaoyan Zhu, Mingyue Jiang, Xiao-Yi Zhang, Liming Nie, Zuohua Ding
MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding
DDImage: an image reduction based approach for automatically explaining black-box classifiers. Empir. Softw. Eng. 29 (5) (2024)
Yuhe Sun, Zuohua Ding, Hongyun Huang, Senhao Zou, Mingyue Jiang
Metamorphic Testing of Relation Extraction Models. Algorithms 16 (2) (2023)
Mingyue Jiang, Chengjian Tang, Xiao-Yi Zhang, Yangyang Zhao, Zuohua Ding
Automated Image Reduction for Explaining Black-box Classifiers. SANER (2023)
Mingyue Jiang, Libin Zheng, Zuohua Ding, Zhi Jin
A software-defined MAPE-K architecture for unmanned systems. Sci. China Inf. Sci. 66 (5) (2023)
Xiaofeng Xu, Wenzhi Liu, Mingyue Jiang, Ziru Lin
A multi-cycle and multi-echelon location-routing problem for integrated reverse logistics. Ind. Manag. Data Syst. 122 (10) (2022)
Liming Chen, Dong Liu, Junkai Yang, Mingyue Jiang, Shouqiang Liu, Yang Wang
Construction and application of COVID-19 infectors activity information knowledge graph. Comput. Biol. Medicine 148 (2022)
Changze Huang, Hailian Zhou, Hongbing Zhao, Wenting Cai, Zhi Quan Zhou, Mingyue Jiang
On the Usefulness of Crossover in Search-Based Test Case Generation: An Industrial Report. APSEC (2022)
Wai Kin Wong, Huaijin Wang, Pingchuan Ma, Shuai Wang, Mingyue Jiang, Tsong Yueh Chen, Qiyi Tang, Sen Nie, Shi Wu
Deceiving Deep Neural Networks-Based Binary Code Matching with Adversarial Programs. ICSME (2022)
Mingyue Jiang, Tsong Yueh Chen, Shuai Wang
On the effectiveness of testing sentiment analysis systems with metamorphic testing. Inf. Softw. Technol. 150 (2022)
Yezi Xu, Zhi Quan Zhou, Xiaoxia Zhang, Jing Wang, Mingyue Jiang
Metamorphic testing of named entity recognition systems: A case study. IET Softw. 16 (4) (2022)
Yuanyuan Yuan, Shuai Wang, Mingyue Jiang, Tsong Yueh Chen
Perception Matters: Detecting Perception Failures of VQA Models Using Metamorphic Testing. CVPR (2021)
Yang Wang, Shouqiang Liu, Mingyue Jiang, Liming Chen, Jianming Zeng, Wanggan Yang
Dense Crowd Counting Based on ResNet. CCIS (2021)
Jian Hou, Zhiyun Lin, Mengfan Xiang, Mingyue Jiang
Random grouping based resilient beamforming. Autom. 123 (2021)
Mingyue Jiang, Tsong Yueh Chen, Zhi Quan Zhou, Zuohua Ding
Input Test Suites for Program Repair: A Novel Construction Method Based on Metamorphic Relations. IEEE Trans. Reliab. 70 (1) (2021)
Mingyue Jiang, Houzhen Bao, Kaiyi Tu, Xiao-Yi Zhang, Zuohua Ding
Evaluating Natural Language Inference Models: A Metamorphic Testing Approach. ISSRE (2021)
Ting Shu, Yechao Huang, Zuohua Ding, Jinsong Xia, Mingyue Jiang
Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search. Inf. Softw. Technol. 135 (2021)
Xiao-Yi Zhang, Mingyue Jiang
SPICA: A Methodology for Reviewing and Analysing Fault Localisation Techniques. ICSME (2021)
Zuohua Ding, Qingfen Zhang, Mingyue Jiang
Metamorphic Testing of Code Search Engines. TASE (2020)
Pengfei Li, Mingyue Jiang, Zuohua Ding
Fault Localization With Weighted Test Model in Model Transformations. IEEE Access 8 (2020)
Yirui Deng, Mingyue Jiang, Chen Ling
An improved diffusion model for supply chain emergency in uncertain environment. Soft Comput. 24 (9) (2020)
Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu
Metamorphic Testing in Fault Localization of Model Transformations. SOFL+MSVL (2019)
Wenbing Tang, Libin Zheng, Mingyue Jiang, Zuohua Ding
Dynamic Algorithm Selection for Mobile Robots Motion Planning. DSA (2019)
Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang
A Fault Localization Method Based on Dynamic Failed Execution Blocks. SOFL+MSVL (2019)
Mingyue Jiang, Guowei Gao, Yirui Deng, Chenglong Wang
Market Risks Prevention and Control of "Going Global" for Chinese Electrical Enterprises. ITQM (2019)
Hongyun Huang, Mingyue Jiang, Zuohua Ding, Mengchu Zhou
Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model. IEEE Access 7 (2019)
Zuohua Ding, Wenjie Jiang, Mingyue Jiang, Zhi Jin, He Jiang
Model Checking the Uncertainties in Software Systems Introduced by Intelligent Components. ISSRE Workshops (2018)
Zuohua Ding, Tiantian Shuai, Mingyue Jiang
REConvertor: Transforming Textual Use Cases to High-Level Message Sequence Chart. QRS Companion (2017)
Tingting Wu, Yunwei Dong, Tsong Yueh Chen, Mingyue Jiang, Man Fai Lau, Fei-Ching Kuo, Sebastian Ng
Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence. ICFEM (2017)
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno
A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair. MET@ICSE (2017)
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zuohua Ding
A metamorphic testing approach for supporting program repair without the need for a test oracle. J. Syst. Softw. 126 (2017)
Zuohua Ding, Mingyue Jiang, Haibo Chen, Zhi Jin, Mengchu Zhou
Petri net based test case generation for evolved specification. Sci. China Inf. Sci. 59 (8) (2016)
Zuohua Ding, Mingyue Jiang, MengChu Zhou
Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks. IEEE Trans. Intell. Transp. Syst. 17 (12) (2016)
Mingyue Jiang, Zuohua Ding, Mengchu Zhou, Yuan Zhou
Formal modeling and verification of secure mobile agent systems. CASE (2015)
Zuohua Ding, Yuan Zhou, Mingyue Jiang, MengChu Zhou
A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems. IEEE Trans. Syst. Man Cybern. Syst. 45 (7) (2015)
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou, Zuohua Ding
Testing Model Transformation Programs using Metamorphic Testing. SEKE (2014)
Mingyue Jiang, Zuohua Ding, Jing Liu
Service Selection Based On Behavior Matching. J. Softw. 7 (9) (2012)
Zuohua Ding, Mingyue Jiang, Abraham Kandel
Port-Based Reliability Computing for Service Composition. IEEE Trans. Serv. Comput. 5 (3) (2012)
Mingyue Jiang, Zuohua Ding
Automation of test case generation from textual use cases. ICIS (2011)
Zuohua Ding, Mingyue Jiang, Jens Palsberg
From textual use cases to service component models. PESOS@ICSE (2011)
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jing Liu
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications. QSIC (2010)
Zuohua Ding, Mingyue Jiang, Jing Liu
Model Checking Service Component Composition by SPIN. ACIS-ICIS (2009)
Zuohua Ding, Mingyue Jiang
Modelling and Verification of Port Based Component Composition. QSIC (2009)
Zuohua Ding, Mingyue Jiang
Reliability Computing for Service Composition. SSIRI (2009)
Zuohua Ding, Mingyue Jiang, Geguang Pu, Jeff W. Sanders
Modelling and Verification of Web Navigation. ICWE (2009)
Lei Yang, Mingyue Jiang
Dynamic Group Decision Making Consistence Convergence Rate Analysis Based on Inertia Particle Swarm Optimization Algorithm. JCAI (2009)
Zuohua Ding, Mingyue Jiang
Port Based Reliability Computing for Service Composition. IEEE SCC (2009)
Zuohua Ding, Mingyue Jiang
Rebuilding Web Application Requirements Based on User Navigation. NCM (2009)