Jincao Feng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2019–2026
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | LLM-Guided Requirement Scenario-Based Testing for Simulink Models. | Ling Qin, Jincao Feng, Weikai Miao |
| 2024 | QRS | Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models. | Yilongfei Xu, Jincao Feng, Weikai Miao |
| 2021 | TASE | Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. | Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu |
| 2019 | APSEC | A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. | Weikai Miao, Qianqian Yan, Yihao Huang, Jincao Feng, Hanyue Zheng |