Login / Signup

Covering User-Defined Data-flow Test Requirements Using Symbolic Execution.

Marcelo Medeiros ElerAndré Takeshi EndoVinicius H. S. Durelli
Published in: SBQS (2014)
Keyphrases
  • user defined
  • data flow
  • symbolic execution
  • test generation
  • database machine
  • test data generation
  • control flow
  • data types
  • object oriented software
  • test cases
  • systolic array
  • query language
  • life cycle
  • static analysis