Concolic testing heap-manipulating programs

Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists. Testing su...

Full description

Saved in:
Bibliographic Details
Main Authors: PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2019
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/4638
https://ink.library.smu.edu.sg/context/sis_research/article/5641/viewcontent/1907.05637.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English