public List <TableDefinition> GetAllTablesTest([PexAssumeUnderTest] DatabaseDataSourceStrategy target) { List <TableDefinition> result = target.GetAllTables(); return(result); // TODO: add assertions to method DatabaseDataSourceStrategyTest.GetAllTablesTest(DatabaseDataSourceStrategy) }