Facilitating program performance profiling via evolutionary symbolic execution. - Aquino, Andrea; Braione, Pietro; Denaro, Giovanni; Salza, Pasquale (Software Testing: Verification & Reliability, 2020)