Stars
2
stars
written in Java
Clear filter
Automated testing to find logic and performance bugs in database systems
An automated prover that verifies the equivalence of SQL queries