ALA: Naturalness-aware Adversarial Lightness Attack Y Huang, L Sun, Q Guo, F Juefei-Xu, J Zhu, J Feng, Y Liu, G Pu arXiv preprint arXiv:2201.06070, 2022 | 11 | 2022 |
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain J Feng, W Miao, H Zheng, Y Huang, J Li, Z Wang, T Su, B Gu, G Pu, ... Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 11 | 2020 |
Generating test cases from requirements: A case study in railway control system domain H Zheng, J Feng, W Miao, G Pu 2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021 | 4 | 2021 |
Prema: a tool for precise requirements editing, modeling and analysis Y Huang, J Feng, H Zheng, J Zhu, S Wang, S Jiang, W Miao, G Pu 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 4 | 2019 |
A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software W Miao, Q Yan, Y Huang, J Feng, H Zheng 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 15-22, 2019 | 1 | 2019 |
Demand conformity analysis method and system, and electronic device and storage medium X Chen, M Weika, PU Geguang, F Jincao, XIA Yechuan, W Yisu, X Cai, ... US Patent App. 18/021,281, 2023 | | 2023 |