A Framework For Inferring Properties of User-Defined Functions.
Saved in:
| Title: | A Framework For Inferring Properties of User-Defined Functions. |
|---|---|
| Authors: | Liu, Xinyu1, liuxy@gatech.edu, Arulraj, Joy1, arulraj@gatech.edu, Orso, Alessandro1, orso@cc.gatech.edu |
| Source: | ICSE: International Conference on Software Engineering; 2024, p1-11, 11p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/3597503.3639147 |
|---|
