Concrete Constraint Guided Symbolic Execution.
Saved in:
| Title: | Concrete Constraint Guided Symbolic Execution. |
|---|---|
| Authors: | Sun, Yue1, sunyue0205@iie.ac.cn, Yang, Guowei2, guowei.yang@uq.edu.au, Lv, Shichao3, lvshichao@iie.ac.cn, Li, Zhi3, lizhi@iie.ac.cn, Sun, Limin4, sunlimin@iie.ac.cn |
| Source: | ICSE: International Conference on Software Engineering; 2024, p1-12, 12p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
