Login / Signup

Array Representation in Symbolic Execution.

Alberto Coen-PorisiniFlavio De Paoli
Published in: Comput. Lang. (1993)
Keyphrases
  • symbolic execution
  • artificial intelligence
  • genetic programming
  • static analysis
  • data flow
  • specification language
  • test generation
  • test data generation