シンボリック実行ツール．テストケースを用意しなくとも，指定した変数に代入されうる様々な値を自動で設定してテストしてくれる．

testing
llvm

mooz のブックマーク 2012/11/02 20:47

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/16504129/comment/mooz" data-user-id="mooz" data-entry-url="https://b.hatena.ne.jp/entry/s/klee.llvm.org/" data-original-href="https://klee.llvm.org/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fklee.llvm.org%2F" data-user-icon="/users/mooz/profile.png">The KLEE Symbolic Virtual Machine</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/testing">testing</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/llvm">llvm</a>]</li></ul><br><p style="clear: left">シンボリック実行ツール．テストケースを用意しなくとも，指定した変数に代入されうる様々な値を自動で設定してテストしてくれる．</p><a class="datetime" href="https://b.hatena.ne.jp/mooz/20121102#bookmark-16504129"><span class="datetime-body">2012/11/02 20:47</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

The KLEE Symbolic Virtual Machine

klee.llvm.org2009/10/05

KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license. For more information on what KLEE is and what it can do, see t...

5 人がブックマーク・2 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

The KLEE Symbolic Virtual Machine

はてなブックマーク

公式Twitter

はてなのサービス