Sign in

Test input generation using separati logic.

Quoc-Sang Phan
Published in: ACM SIGSOFT Softw. Eng. Notes (2018)
Keyphrases
  • logic programming
  • test data
  • modal logic
  • training data
  • search algorithm
  • evolutionary algorithm
  • logic programs
  • test cases
  • statistical tests
  • logical framework
  • computational properties