Login / Signup
Mengyan Zhao
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Test Case Selection
Model Based Testing
Simulated Annealing Algorithm
Quality Assurance
Top Venues
IEEE Trans. Computers
</>
Publications
</>
Jianqi Shi
,
Yinghao Chen
,
Qin Li
,
Yanhong Huang
,
Yang Yang
,
Mengyan Zhao
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.
IEEE Trans. Computers
73 (4) (2024)