Sign in

Concolic Testing Heap-Manipulating Programs.

Long H. PhamQuang Loc LeQuoc-Sang PhanJun Sun
Published in: FM (2019)
Keyphrases
  • data structure
  • symbolic execution
  • data mining
  • set of test cases
  • real time
  • decision making
  • multiscale
  • video sequences
  • test generation
  • control structures
  • prolog programs