ACM Foundations of Software Engineering, FSE 2015


Article Details
Title: A user-guided approach to program analysis
Article URLs:
Alternative Article URLs:
Authors: Ravi Mangal
  • Georgia Institute of Technology
Xin Zhang
  • Georgia Institute of Technology
Aditya V. Nori
  • Microsoft Research
Mayur Naik
  • Georgia Institute of Technology
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1253867
DBLP Key: conf/sigsoft/MangalZNN15
Author Comments:

Discuss this paper and its artifacts below