Jincao Feng

According to our database, Jincao Feng authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models.

Yilongfei Xu, Jincao Feng, Weikai Miao

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

ALA: Naturalness-aware Adversarial Lightness Attack.

Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu

Proceedings of the 31st ACM International Conference on Multimedia, 2023

2022

ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations.

Liangru Sun, Felix Juefei-Xu, Yihao Huang, Qing Guo, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu

CoRR, 2022

2021

Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.

Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Prema: A Tool for Precise Requirements Editing, Modeling and Analysis.

Yihao Huang, Jincao Feng, Hanyue Zheng, Jiayi Zhu, Shang Wang, Siyuan Jiang, Weikai Miao, Geguang Pu

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

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

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019