External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation

Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun 0001, Shengchao Qin. Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza, editors, Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Volume 11781 of Lecture Notes in Computer Science, pages 209-227, Springer, 2019. [doi]

Authors

Long H. Pham

This author has not been identified. Look up 'Long H. Pham' in Google

Quang Loc Le

This author has not been identified. Look up 'Quang Loc Le' in Google

Quoc-Sang Phan

This author has not been identified. Look up 'Quoc-Sang Phan' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Shengchao Qin

This author has not been identified. Look up 'Shengchao Qin' in Google
runs on