Tailoring Programs for Static Analysis via Program Transformation.
Saved in:
| Title: | Tailoring Programs for Static Analysis via Program Transformation. |
|---|---|
| Authors: | van Tonder, Rijnard1, rvt@cs.cmu.edu, Le Goues, Claire1, clegoues@cs.cmu.edu |
| Source: | ICSE: International Conference on Software Engineering; 6/17/2020, p824-834, 11p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
