Shunhui Ji

Orcid: 0000-0002-8584-5795

According to our database1, Shunhui Ji authored at least 32 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
RITFIS: Robust input testing framework for LLMs-based intelligent software.
CoRR, 2024

2023
Adversarial example-based test case generation for black-box speech recognition systems.
Softw. Test. Verification Reliab., August, 2023

A survey on smart contract vulnerabilities: Data sources, detection and repair.
Inf. Softw. Technol., July, 2023

Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm.
IEEE Trans. Reliab., March, 2023

LEAP: Efficient and Automated Test Method for NLP Software.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Ponzi Scheme Detection Based on Control Flow Graph Feature Extraction.
Proceedings of the IEEE International Conference on Web Services, 2023

Test Case Generation for Cross-Blockchain Smart Contract.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022
VSVC: Backdoor attack against Keyword Spotting based on Voiceprint Selection and Voice Conversion.
CoRR, 2022

PBSM: Backdoor attack against Keyword spotting based on pitch boosting and sound masking.
CoRR, 2022

Bytecode Obfuscation for Smart Contracts.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

Data Flow Reduction Based Test Case Generation for Smart Contracts.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Verifiable Model Construction for Business Processes.
Int. J. Softw. Eng. Knowl. Eng., 2021

Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples.
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance.
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020
ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

A Review of Automated Diagnosis of COVID-19 Based on Scanning Images.
Proceedings of the ICRAI 2020: 6th International Conference on Robotics and Artificial Intelligence, 2020

2019
Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service.
IEEE Access, 2019

Condition-Guided Adversarial Generative Testing for Deep Learning Systems.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Neural Network Based Test Case Generation for Data-Flow Oriented Testing.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018
A Novel QoS Prediction Approach for Cloud Services Using Bayesian Network Model.
IEEE Access, 2018

2016
Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services.
Proceedings of the IEEE International Conference on Services Computing, 2016

2014
Regression Testing of Web Service: A Systematic Mapping Study.
ACM Comput. Surv., 2014

2013
Verifying the Concurrent Properties in BPEL Based Web Service Composition Process.
IEEE Trans. Netw. Serv. Manag., 2013

Monitoring Web Services for Conformance.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

2012
HybridUML Based Verification of CPS Using Differential Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A HybridUML and QdL Based Verification Method for CPS Self-Adaptability.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A Unified Modeling and Verifying Framework for Cyber Physical Systems.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

2010
Generating Test Cases of Composite Services Based on OWL-S and eh-CPN.
Int. J. Softw. Eng. Knowl. Eng., 2010

Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009
WSTester: Testing Web Service for Behavior Conformance.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Generating Test Cases of Composite Services Based on OWL-S and EH-CPN.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009


  Loading...