Human Folly about “symbolic-execution”

index

• Concolic testing (en.wikipedia.org):

  more about #symbolic-execution and in particular testing programs with concrete values.

  on 02015-09-18
• Symbolic execution (en.wikipedia.org):

  a list of "symbolic execution" systems.

  on 02015-09-18