你即將離開本站

並前往https://dl.acm.org/doi/10.1145/360248.360252

Symbolic execution and program testing - ACM Digital Library

This paper describes the symbolic execution of programs. Instead of supplying the normal inputs to a program (e.g. numbers) one supplies ...

確定！ 回上一頁

查詢 「Symbolic」的人也找了：

  1. symbolic中文
    2.
  2. symbolic意思
    3.
  3. symbolic名詞
    4.
  4. symbolic用法
    5.
  5. Symbolic synonym
    6.
  6. symbolic衣服
    7.
  7. Symbolic
    8.
  8. Symbolic constant
    9.