“…Second, they enable concretization, permitting symbolic evaluation to seamlessly switch to concrete evaluation and back, thus facilitating interoperability with external libraries. Testament to the success of concolic testing is adaptations to a gamut of linguistic, platform and application settings [3,6,7,12,14,15,17,21,22,23,25,29,30,35,37,38,39,41,43].…”