你即將離開本站

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

Data-driven precondition inference with learned features

We evaluate our approach by using PIE to infer rich preconditions for black-box OCaml library functions and using our loop-invariant inference algorithm as part ...

確定！ 回上一頁

查詢 「Precondition」的人也找了：

  1. precondition用法
    2.
  2. preconditioning中文
    3.
  3. Precondition Test
    4.
  4. Precondition postcondition
    5.
  5. JEDEC precondition
    6.
  6. Postcondition
    7.
  7. Prerequisite
    8.
  8. Preconditions
    9.