Inferring Natural Preconditions via Program Transformation.

Elizabeth Dinella Shuvendu K. Lahiri Mayur Naik

Published in: SIGSOFT FSE Companion (2024)

Keyphrases

databases
data mining
information retrieval
inference rules
computer programs
database
real time
data sets
neural network
machine learning
information systems
knowledge base
relational databases
software engineering
programming environment
transformation rules