Jincao Feng
Orcid: 0000-0002-4325-1374
According to our database1,
Jincao Feng
authored at least 7 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.
CoRR, 2023
Proceedings of the 31st ACM International Conference on Multimedia, 2023
2022
2021
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain.
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.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
2019
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.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019