Alireza S. Abyaneh -

Registered user since Fri 17 Sep 2021

Name:Alireza S. Abyaneh

Affiliation:University of Salzburg

Contributions

ASE 2021	Author of ASE: A Value Set Decision Procedure for Symbolic Execution within the Artifact Evaluation-track Author of ASE: A Value Set Decision Procedure for Symbolic Execution within the Research Papers-track
MoreVMs 2018	Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track