Symbolic Execution with KLEE

More workshops at IEEE/ACM International Conference on Automated Software Engineering 2026

• Agentic AI for Software Development — Explores autonomous AI agents that write, test, and maintain software.
• AI in Software Modernization — Covers using AI to modernize legacy software systems and codebases.
• Automated Program Repair — Focuses on techniques for automatically finding and fixing software bugs.
• Automated and Verifiable Software Development — Covers automation and formal verification in software system development.
• Automated Techniques in SE Research — Examines automated methods and tooling used in software engineering research itself.
• Configuration Languages — Covers the design, analysis, and tooling of configuration languages.
• CPAchecker — A workshop around the CPAchecker software verification framework.
• Advanced Testing Technology — Focuses on emerging technologies and directions in software testing.
• Harness Engineering for Generative UI — Covers engineering the test and evaluation harnesses for generative user interfaces.
• Journal Ahead Workshop — A workshop presenting recently journal-accepted software engineering research.
• Live Writing — A hands-on academic writing workshop for software engineering researchers.
• Multi-agent GenAI for ASE — Explores multi-agent generative AI systems applied to software engineering tasks.
• PromptOps and Vibe Coding — Covers prompt engineering operations and LLM-driven exploratory coding practices.
• Reliable and Trustworthy ASE — Focuses on reliability and trustworthiness in automated software engineering.
• Resilient Systems — Covers engineering software systems for resilience and fault tolerance.
• Software Security Testing — Focuses on automated techniques for testing software security.
• Software Genomics — Applies genomics-inspired analysis to understanding and evolving software.
• Trustworthy and Responsible Autonomous Systems — Covers trust, safety, and responsibility in autonomous software systems.