00

differential symbolic execution

Technique ☆ WATCH ⎘ SHARE

First seen 9/5/2026

Last seen 9/5/2026

Evidence 1 chunks

01

NEIGHBORHOOD

3 nodes · 3 edges

graph · differential symbolic execution · depth=1

02

RELATIONSHIPS

2 connections

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

The paper mentions differential symbolic execution as a related technique for finding inputs that detect differences between programs.

CVC3 uses → 85% 1e evidence

Differential symbolic execution uses CVC3 for equivalence checking of bounded execution summaries.