Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations.

Jongwook Kim Sunbeom So Hakjoo Oh

Published in: ICSE (2023)

Keyphrases

database
statistical machine translation
neural network
oracle database
microsoft sql server
test cases
software testing