Login / Signup

Automatic property-based testing and path validation of XQuery programs.

Jesús Manuel Almendros-JiménezAntonio Becerra-Terón
Published in: Softw. Test. Verification Reliab. (2017)
Keyphrases
  • query language
  • symbolic execution
  • test cases
  • computer programs
  • model based testing
  • shortest path
  • xml schema
  • programming environment
  • databases
  • high level
  • query processing
  • software development
  • xml data