Contact Us
|
ISU Search
Build Code Analysis with Symbolic Evaluation
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, Tien N. Nguyen
Contents
Introduction
Approach Overview
Empirical Evaluation
- Renaming Accuracy
- Controlled Experiment
- Experiment Tasks
Video Demo
SyMake Download
Demo Paper (PDF)
SyMake Snapshots