@article{publication-20259,
	author={Aquino, Andrea and Braione, Pietro and Denaro, Giovanni and Salza, Pasquale},
	doi={10.1002/stvr.1719},
	journal={Software Testing, Verification & Reliability (STVR)},
	number=2,
	pages={online-online},
	title={Facilitating Program Performance Profiling via Evolutionary Symbolic Execution},
	volume=30,
	year=2020,
}