The bibliographic entry was discovered and compiled by a machine, and let through without anybody vouching for it. The publication itself is the authors' own work — this badge says nothing about it.
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
The work
| Title | Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation |
|---|---|
| Authors | Long H. Pham; Quang Loc Le; Quoc-Sang Phan; Jun Sun; Shengchao Qin |
| Type | conference paper |
| Year | 2019 |
| Citekey | pham2019enhancing |
Where it appeared
| Published in | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings |
|---|---|
| Publisher | Springer |
| Volume | 11781 |
| Pages | 209--227 |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | not denied |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{pham2019enhancing,
title = {Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation},
author = {Long H. Pham and Quang Loc Le and Quoc-Sang Phan and Jun Sun and Shengchao Qin},
year = {2019},
booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
volume = {11781},
pages = {209--227},
publisher = {Springer},
}
This record lives at https://refs.drheap.org/pham2019enhancing/ and will keep doing so.