Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alireza S. Abyaneh
conf.researchr.org general profile
ASE 2021 profile
‹Programming› 2018 profile
Registered user since Fri 17 Sep 2021
Name:
Alireza S. Abyaneh
Affiliation:
University of Salzburg
Contributions
2021
ASE
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
2018
MoreVMs
Author of Selfie: Towards Minimal Symbolic Execution within the MoreVMs 2018-track
Share
x
Thu 15 May 21:32