Automated Proof-of-Concept Generation for Networked and Socio-Technical Systems: A Systematic Review
- 1 January 2026
- journal article
- review article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Systems, Man, and Cybernetics: Systems
- p. 1-18
Abstract
No abstract availableFunding Information
- National Key Research and Development Program of China (2022YFB3104300)
- National Key Research and Development Program of China for Key Technologies and Equipment Development and Application of Security-Integrated Intelligent Control Devices (2020YFB2010900)
- Industrial Internet Development Special Project of the Ministry of Industry and Information Technology of China for Time-Sensitive Networking-Based PLC (TC190A449)
- Major Scientific and Technological Infrastructure Project of Zhejiang Laboratory for a Large-Scale Experimental Facility for Next-Generation Industrial Control System Security (ZJKYHTZYZ10300020201229001)
- NSFC (62302443)
- Fellowship of China National Postdoctoral Program for Innovative Talents (BX20230307)
- Fundamental Research Funds for the Central Universities through Zhejiang University NGICS Platform+ (226-2024-00048)