ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ISSTA 2018

Article Details
Title: Safe and sound program analysis with Flix
Article URLs:
Alternative Article URLs:
Authors: Magnus Madsen
  • Aalborg University
Ondrej Lhoták
  • University of Waterloo
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/issta/MadsenL18
Author Comments:

Discuss this paper and its artifacts below