output
20132024
most citedDetecting and quantifying palaeoseasonality in stalagmites using geochemical and modelling approaches

49 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

1 paper · 1 filter

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…