Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Work
Year: 2019
Type: book-chapter
Institutions Singapore University of Technology and Design, Teesside University, Synopsys (United States), Singapore Management University
Cites: 32
Cited by: 9
Related to: 10
FWCI: 3.164
Citation percentile (by year/subfield): 81.97
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed