Lei Zhang

According to our database, Lei Zhang authored at least 38 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Separating Secrets from Placeholders: A Hybrid CNN-CodeBERT Framework for Three-Class Credential Leakage Detection.

Maksuda Bilkis Baby, Khushika Shah, Naiyue Liang, Lei Zhang

CoRR, May, 2026

Bayesian Sequential Verification for Budget-Aware Quantum Program Testing.

Lei Zhang

CoRR, May, 2026

Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs.

Lei Zhang

CoRR, May, 2026

Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp.

Lei Zhang, Zhiyuan Chen

CoRR, May, 2026

Software Testing in the Quantum World.

Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao

Computer, April, 2026

Automating Detection and Root-Cause Analysis of Flaky Tests in Quantum Software.

Janakan Sivaloganathan, Ainaz Jamshidi, Andriy V. Miranskyy, Lei Zhang

CoRR, March, 2026

Toward Quantum-Safe Software Engineering: A Vision for Post-Quantum Cryptography Migration.

Lei Zhang

CoRR, February, 2026

Software Testing in the Quantum World.

Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao

CoRR, January, 2026

2025

Detecting Flaky Tests in Quantum Software: A Dynamic Approach.

Dongchan Kim, Hamidreza Khoramrokh, Lei Zhang, Andriy V. Miranskyy

CoRR, December, 2025

On the Feasibility of Quantum Unit Testing.

Andriy V. Miranskyy, José Campos, Anila Mjeda, Lei Zhang, Ignacio García Rodríguez de Guzmán

CoRR, July, 2025

A Reference Architecture for Governance of Cloud Native Applications.

William Pourmajidi, Lei Zhang, John Steinbacher, Tony Erwin, Andriy V. Miranskyy

IEEE Trans. Cloud Comput., 2025

Identifying Flaky Tests in Quantum Code: A Machine Learning Approach.

Khushdeep Kaur, Dongchan Kim, Ainaz Jamshidi, Lei Zhang

Proceedings of the IEEE International Conference on Software Analysis, 2025

2024

Automating Quantum Software Maintenance: Flakiness Detection and Root Cause Analysis.

Janakan Sivaloganathan, Ainaz Jamshidi, Andriy V. Miranskyy, Lei Zhang

CoRR, 2024

Automated Flakiness Detection in Quantum Software Bug Reports.

Lei Zhang, Andriy V. Miranskyy

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

2023

Immutable Log Storage as a Service on Private and Public Blockchains.

William Pourmajidi, Lei Zhang, John Steinbacher, Tony Erwin, Andriy V. Miranskyy

IEEE Trans. Serv. Comput., 2023

Automated data validation: An industrial experience report.

Lei Zhang, Sean Howard, Tom Montpool, Jessica Moore, Krittika Mahajan, Andriy V. Miranskyy

J. Syst. Softw., 2023

Making existing software quantum safe: A case study on IBM Db2.

Lei Zhang, Andriy V. Miranskyy, Walid Rjaibi, Greg Stager, Michael Gray, John Peck

Inf. Softw. Technol., 2023

Q-PAC: Automated Detection of Quantum Bug-Fix Patterns.

Pranav K. Nayak, Krishn Vishwas Kher, Bharat Chandra Mukkavalli, M. V. Panduranga Rao, Lei Zhang

CoRR, 2023

A Reference Architecture for Observability and Compliance of Cloud Native Applications.

William Pourmajidi, Lei Zhang, John Steinbacher, Tony Erwin, Andriy V. Miranskyy

CoRR, 2023

Automatic Diagnosis of Quantum Software Bug Fix Motifs.

Krishn Vishwas Kher, Ishan Joshi, Bharat Chandra Mukkavalli, Lei Zhang, M. V. Panduranga Rao

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Identifying Flakiness in Quantum Programs.

Lei Zhang, Mahsa Radnejad, Andriy V. Miranskyy

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2021

Quantum Advantage and the Y2K Bug: A Comparison.

Lei Zhang, Andriy V. Miranskyy, Walid Rjaibi

IEEE Softw., 2021

Making Existing Software Quantum Safe: Lessons Learned.

Lei Zhang, Andriy V. Miranskyy, Walid Rjaibi, Greg Stager, Michael Gray, John Peck

CoRR, 2021

On Testing and Debugging Quantum Software.

Andriy V. Miranskyy, Lei Zhang, Javad Doliskani

CoRR, 2021

Term interrelations and trends in software engineering.

Janusan Baskararajah, Lei Zhang, Andriy V. Miranskyy

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Anomaly Detection in a Large-Scale Cloud Platform.

Mohammad Saiful Islam, William Pourmajidi, Lei Zhang, John Steinbacher, Tony Erwin, Andriy V. Miranskyy

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

2020

Is your quantum program bug-free?

Andriy V. Miranskyy, Lei Zhang, Javad Doliskani

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019

The impact of position errors on crowd simulation.

Lei Zhang, Diego Lai, Andriy V. Miranskyy

Simul. Model. Pract. Theory, 2019

APEM - Approximate Performance Evaluation for Multi-Core Computers.

Lei Zhang, Douglas G. Down

J. Circuits Syst. Comput., 2019

RESTORE: Automated Regression Testing for Datasets.

Lei Zhang, Sean Howard, Tom Montpool, Jessica Moore, Krittika Mahajan, Andriy V. Miranskyy

CoRR, 2019

Immutable log storage as a service.

William Pourmajidi, Lei Zhang, John Steinbacher, Tony Erwin, Andriy V. Miranskyy

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

On testing quantum programs.

Andriy V. Miranskyy, Lei Zhang

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Taming services for IBM cloud.

Nazim H. Madhavji, John Steinbacher, Andriy V. Miranskyy, Tony Erwin, Ahmed Ibrahim, Priyanka P. Naikade, William Pourmajidi, Lei Zhang, Yasmen Wahba

Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

SMVA: A Stable Mean Value Analysis Algorithm for Closed Systems with Load-Dependent Queues.

Lei Zhang, Douglas G. Down

Proceedings of the Systems Modeling: Methodologies and Tools, 2019

2016

A Stable Mean Value Analysis Algorithm for Closed Systems with Load-dependent Queues.

Lei Zhang, Douglas G. Down

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

2015

Approximate mean value analysis for multi-core systems.

Lei Zhang, Douglas G. Down

Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems, 2015

2011

Performance evaluation for software migration (abstracts only).

Issam Al-Azzoni, Lei Zhang, Douglas G. Down

SIGMETRICS Perform. Evaluation Rev., 2011

Performance evaluation for software migration.

Issam Al-Azzoni, Lei Zhang, Douglas G. Down

Proceedings of the ICPE'11, 2011