00

LLBMC

Tool ☆ WATCH ⎘ SHARE

First seen 9/5/2026

Last seen 9/5/2026

Evidence 1 chunks

01

NEIGHBORHOOD

2 nodes · 1 edges

graph · LLBMC · depth=1

02

RELATIONSHIPS

1 connections

Registered Report: Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking ← mentions 80% 1e evidence

The paper mentions LLBMC but notes it does not support floating-point instructions.