• Sign in
  • Sign up
conf.researchr.org / Alireza S. Abyaneh
  • ASE 2021 profile
  • ‹Programming› 2018 profile
No Photo

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
xSat 10 May 18:10
using conf.researchr.org (v1.69.0)
Support page
Sign Up