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
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
Share
x
Sat 3 Jun 10:31