Automatic verification of database-driven systems: a new frontier