C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. - Antoine Chenoy; Fabien Duchene 001; Thomas Given-Wilson; Axel Legay (SPIN, 2021)