All Stories

  1. IntOAgent: A Practical Framework for Automated Detection and Triggering of Integer Overflow Vulnerabilities
  2. Large Language Models for Quantum Software Engineering: Opportunities and Challenges in Modeling, Generation, Testing, and Repair
  3. Foundation Models for Autonomous Driving Systems: An Initial Roadmap
  4. AcTracer: Active Testing of Large Language Model via Multi-Stage Sampling
  5. CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift
  6. Large Language Model Supply Chain: Open Problems From the Security Perspective
  7. Assessing the Robustness of Test Selection Methods for Deep Neural Networks