ACM Transactions on Software Engineering and Methodology Neural Program Modeling Learning Program-Specific Models that Predict Execution Features from Input Features and vice versa
Automated Software Engineering Conference (ASE) Feature-Focused Test Generation
SSBSE 2026 Search-Based Generation of Complex Inputs with FANDANGO
ACM International Conference on AI-Powered Software (AIware) Can LLMs Really Reason about Code? Studying How Well LLMs Understand the Relation between Input, Code, and Output
European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE-Companion) Testing Protocols with Formal Languages