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...
Saved in:
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 |
Similar Items
-
Enhancing symbolic execution of heap-based programs with separation logic for test input generation
by: PHAM, Long H., et al.
Published: (2019) -
Compositional verification of heap-manipulating programs through property-guided learning
by: PHAM, Long H., et al.
Published: (2019) -
Satisfiability modulo heap-based programs
by: LE, Quang Loc, et al.
Published: (2016) -
Control Flow Obfuscation using Neural Network to Fight Concolic Testing
by: Ma, Haoyu, et al.
Published: (2014) -
Towards optimal concolic testing
by: WANG, Xinyu, et al.
Published: (2018)