corpus.blog
44,394 blogs · 5,475,563 posts Claim your blog
Record · corpus.blog/posts/01a0ffa3-66eb-7172-b91f-527a34a1f2e1

Translation Validation of Bounded Exhaustive Test Cases

John Regehr · published 9 May 2017

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.regehr.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
16
Words captured
1,232

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
http://web.ist.utl.pt/nuno.lopes/
web.ist.utl.pt
https://github.com/regehr/opt-fuzz
github.com
http://llvm.org/docs/CommandGuide/lli.html
llvm.org
http://www.cs.utah.edu/~regehr/papers/pldi15.pdf
cs.utah.edu
http://llvm.org/docs/Passes.html
llvm.org
http://lists.llvm.org/pipermail/llvm-dev/2016-December/108503.html
lists.llvm.org
https://bugs.llvm.org/show_bug.cgi?id=31633
bugs.llvm.org
https://bugs.llvm.org/show_bug.cgi?id=23922
bugs.llvm.org
https://bugs.llvm.org/show_bug.cgi?id=23675
bugs.llvm.org
https://bugs.llvm.org/show_bug.cgi?id=23926
bugs.llvm.org
https://bugs.llvm.org/show_bug.cgi?id=32949
bugs.llvm.org
https://bugs.llvm.org/show_bug.cgi?id=23664
bugs.llvm.org
http://llvm.org/docs/LangRef.html
llvm.org
https://bugs.llvm.org/show_bug.cgi?id=31632
bugs.llvm.org
https://bugs.llvm.org/show_bug.cgi?id=31652
bugs.llvm.org
https://github.com/nunoplopes/alive/tree/newsema/tv
github.com