SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents.

Javier Albors Marisa Navarro

Published in: PROLE (2014)

Keyphrases

xml documents
xml data
unit testing
xml queries
xml schema
database
relational databases
information retrieval
xml information retrieval
xml databases
satisfiability problem
high level
relational data
sql queries
integrity constraints
test cases
document type
bounded model checking
software engineering