Concolic testing heap-manipulating programs

• المؤلفون الرئيسيون: PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2019
• الموضوعات: Information Security
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4638; https://ink.library.smu.edu.sg/context/sis_research/article/5641/viewcontent/1907.05637.pdf

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...