Login / Signup
Integrated Static and Dynamic Analysis of PVM Programs with STEPS.
Henryk Krawczyk
Bogdan Wiszniewski
Piotr Kuzora
Marcin Neyman
Jerzy Proficz
Published in:
Comput. Artif. Intell. (1998)
Keyphrases
</>
dynamic analysis
reverse engineering
static analysis
abstract interpretation
model checking
data sets
control flow
domain knowledge
open source
computer programs