Automated reengineering of industrial HMI screens by static analysis.

Bernhard Dorninger Wolfgang Beer Michael Moser Rene Zeilinger Albin Kern

Published in: ETFA (2014)

Keyphrases

static analysis
dynamic analysis
source code
industrial applications
abstract interpretation
malicious code
test suite
symbolic execution
human machine interaction
regular expressions
test generation
human machine interface
real world
pattern matching
software systems
legacy systems
high level