Ver registro no DEDALUS
Exportar registro bibliográfico

Using coverage and reachability testing to improve concurrent program testing quality (2011)