Jianjun Zhao

Kyushu University

Japan

Research Interests

Explore related searches

Professors in Japan

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (11)

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Collaborators (4)

Paolo Arcaini

Project Associate Professor

National Institute of Informatics

JAPAN

View details

Deyun Lyu

National Institute of Informatics

JAPAN

View details

Xiao Cheng

Macquarie University

AUSTRALIA

View details

Yuan Feng

University of Sydney

AUSTRALIA

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Jianjun Zhao

Research Interests

Explore related searches

Contact this professor

Articles (11)

Fault localization of AI-enabled cyber–physical systems by exploiting temporal neuron activation

Automated Generation of Benchmarks for Falsification of STL Specifications

Quantum Concolic Testing

SpectAcle : Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences

Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality

Formalization of Quantum Intermediate Representations for code safety

xFuzz: Machine Learning Guided Cross-Contract Fuzzing

Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing

Equivalence, identity, and unitarity checking in black-box testing of quantum programs

Collaborators (4)

Paolo Arcaini

Deyun Lyu

Xiao Cheng

Yuan Feng

Make your next move.