Ver registro no DEDALUS
Exportar registro bibliográfico

Covering user-defined data-flow test requirements using symbolic execution (2014)