Get started
Author

Xiaohong Chen

LLM4Fin: Fully Automating LLM-Powered Test Case Generation for FinTech Software Acceptance Testing
2024 · Zhiyi Xue, Liangguo Li, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 40
AIoTML: A Unified Modeling Language for AIoT-Based Cyber–Physical Systems
2023 · Ming Hu, E. Cao, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 31
Formally verifying consistency of sequence diagrams for safety critical systems
2022 · Xiaohong Chen, Qianqian Liu, et al. · Science of Computer Programming · 18
Domain Knowledge is All You Need: A Field Deployment of LLM-Powered Test Case Generation in FinTech Domain
2024 · Zhiyi Xue, Liangguo Li, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 15
Expressing the Needs in Smart Home: What Is the End Users’ Favorite Way
2025 · Xiaohong Chen, Shi Chen, et al. · ACM Transactions on Computer-Human Interaction · 11
TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming
2024 · Liangyu Chen, Chen Wang, et al. · IEEE Internet of Things Journal · 8
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL
2023 · Ming Hu, Jun Xia, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 8
PDF
Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements
2023 · Xiaohong Chen, Juan Zhang, et al. · IEEE Transactions on Intelligent Transportation Systems · 5
ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
2026 · Yue Fang, Zhi Jin, et al. · ACM Transactions on Software Engineering and Methodology · 2
PDF
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems
2024 · Xiaohong Chen, Zhi Jin, et al. · IEEE Transactions on Intelligent Transportation Systems · 2
Unlocking the Silent Needs: Business-Logic-Driven Iterative Requirements Auto-completion
2026 · Zhujun Wu, Xiaohong Chen, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 1
Automatic Generation of Structured Requirements for Aerospace Embedded Systems Using LLMs
2025 · Jingkai Lin, Yixing Luo, et al. · IEEE International Requirements Engineering Conference Workshops (REW) · 1
What You See Is What You Get: Prototype Generation for IoT End-User Programming
2025 · Xiaohong Chen, Shi Chen, et al. · IEEE Transactions on Software Engineering · 1
FallibleUser: An Imperfect User Agent for Realistic Evaluation of Interactive AI Systems
2026 · Yaotian Yang, Zhi Jin, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE)
PDF
CARE: Cascading Impact-Aware Compliance Test Suite Evolution under Regulatory Changes
2026 · Zhiyi Xue, Xiaohong Chen, et al. · Proceedings of the ACM on software engineering.
PDF
Modeling Like Peeling an Onion: Layerwise Analysis-Driven Automatic Behavioral Model Generation
2026 · Yike Huang, Ming Hu, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
2026 · Yue Fang, Zhi Jin, et al. · Proceedings of the AAAI Conference on Artificial Intelligence
PDF
Fire spreading risk in ship′s cabin based on Marcov model
2009 · Xiaohong Chen · Journal of Naval University of Engineering
Works count: 18
Citation count: 143
H-index: 7
I10-index: 5
Year
Topic
Type