Automated testing to find logic and performance bugs in database systems
Automated testing tool to find logic bugs in graph database systems