Can ChatGPT support software verification?

Christian Janßen Cedric Richter Heike Wehrheim

Published in: FASE (2024)

Keyphrases

databases
database
neural network
information systems
preprocessing
knowledge management
real time
website
web services
multiscale
xml documents
software engineering
decision support
computing environments