Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis | ACM Conferences

How do you update software with usb?

VISOR: A Vision-Language Model-Based Test Oracle for Testing Robots | Proceedings of the 3rd ACM International Conference on AI-Powered Software

Automated Trace Link Recovery Between Natural Language Requirements and Formal Specifications via LLMs | Theoretical Aspects of Software Engineering

Front Matter | Verified Software. Theories, Tools and Experiments

Development of a Realistic Emergency Control Center Simulation Software for Controlled Behavioral Studies | Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management