Ver registro no DEDALUS
Exportar registro bibliográfico

An extensible framework to implement test oracle for non-testable programs (2014)