Zero-Overhead Path Prediction with Progressive Symbolic Execution.
Saved in:
| Title: | Zero-Overhead Path Prediction with Progressive Symbolic Execution. |
|---|---|
| Authors: | Rutledge, Richard1, rrutledge@gatech.edu, Sunjae Park1, sunjae.park@gatech.edu, Khan, Haider1, khan@gatech.edu, Orso, Alessandro1, orso@cc.gatech.edu, Prvulovic, Milos1, milos@cc.gatech.edu, Zajic, Alenka1, alenka.zajic@ece.gatech.edu |
| Source: | ICSE: International Conference on Software Engineering; 5/25/2019, p234-245, 12p |
| Database: | Applied Science & Technology Source |
| DOI: | 10.1109/ICSE.2019.00039 |
|---|
