Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper)
Dirk Beyer
Abstract:This position paper accompanies a presentation and discussion at AISoLA 2023 on the topic of how (generative) AI influences software engineering, namely, the development and verification of software programs. We outline a few opportunities and challenges that are posed by the application of AI. AI-based techniques can be an efficient method to produce software code. Not only this, AI can also be efficient in producing invariants that help proving correctness of software programs. But unfortunately, the results… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.