researchers with a paper here

1 paper

cs.SC2026

Technical Report: A Formal Semantics for Java Symbolic Evaluation using Large-Block Encoding

Soha Hussein, Stephen McCamant, Kelton OBrien +3

Symbolic execution plays a critical role in software reliability, as they are used to find bugs, generate test cases, and provide correctness guarantees, particularly for safety-cr…