Browsing by Subject "INTERFACES DE PROGRAMACION DE APLICACIONES"
Now showing items 1-2 of 2
(2019)"Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to be ...