Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Bounded verifications
Computer software
Formal tools
1
Java program
1
Java programming language
1
Plug-ins
1
Program debugging
1
Program translators
1
Software errors
1
Source codes
1
Static analysis
1
TACO
1
Test case generation
1
Tools
1
bounded verification
1
eclipse plug-in
1
static analysis
1
test case generation
1
-
1Materias: “...Source codes...”
JOUR