most citedSound Symbolic Execution via Abstract Interpretation and its Application to Security

4 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2023★ 4 cited

Sound Symbolic Execution via Abstract Interpretation and its Application to Security

Ignacio Tiraboschi, Tamara Rezk, Xavier Rival

Symbolic execution is a program analysis technique commonly utilized to determine whether programs violate properties and, in case violations are found, to generate inputs that can…