你即將離開本站

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

Korat: automated testing based on Java predicates - ACM ...

This paper presents Korat, a novel framework for automated testing of Java programs. Given a formal specification for a method, Korat uses the method ...

確定！ 回上一頁

查詢 「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.