你即將離開本站

並前往https://ieeexplore.ieee.org/document/4222644/

Korat: A Tool for Generating Structurally Complex Test Inputs

This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes: (1) an imperative ...

確定！ 回上一頁

查詢 「Korat」的人也找了：

  1. korat泰國
    2.
  2. korat中文
    3.
  3. Khorat
    4.
  4. Nakhon Ratchasima province
    5.
  5. Nakhon Ratchasima
    6.
  6. Nakhon Si Thammarat
    7.
  7. Thai cat
    8.
  8. Russian Blue
    9.