1

彼らの論文 (OSDI'08) によると、シンボリック実行ツール KLEE は、単一の COREUTIL アプリケーションのテスト ケースを生成するのに約 1 時間かかります。並列で実行できるかどうか疑問に思っていますか?(たとえば、マルチコアまたは GPU でのマルチスレッド)?

4

1 に答える 1