43 citations · 61 across the 22 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning
Long H. Pham, Jun Sun, Quang Loc Le
Analyzing and verifying heap-manipulating programs automatically is challenging. A key for fighting the complexity is to develop compositional methods. For instance, many existing…
cs.PL2019
Concolic Testing Heap-Manipulating Programs
Long H. Pham, Quang Loc Le, Quoc-Sang Phan +1
Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on…