Similar Items: MAGen: Multi-agent smart contract generation with automated testing and verification
- An empirical analysis of vulnerability detection tools for solidity smart contracts
- Does road diversity really matter in testing automated driving systems?
- A multi-language perspective on the robustness of LLM code generation
- How students use generative AI for software testing: An observational study
- The Growth of Vulnerability Management: The Rise of Agentic AI Pentesting
- Automated formalisation of informal specifications by combining LLMs and grammar-based language processing