Sign in

Spectral Test Generation for Boolean Expressions.

Tolga Ayav
Published in: Int. J. Softw. Eng. Knowl. Eng. (2023)
Keyphrases
  • test generation
  • boolean expressions
  • test cases
  • normal form
  • real valued
  • quality assurance
  • static analysis
  • conjunctive queries
  • software testing
  • high level