Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing

Sören Tempel, Vladimir Herdt, Rolf Drechsler. Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing. Embedded Systems Letters, 14(4):195-198, 2022. [doi]

Abstract

Abstract is missing.