Login / Signup
A Static Analysis Technique to Detect Unsatisfiable Conditions in Ontology-based Workflows.
Gabriele Weiler
Arnd Poetzsch-Heffter
Stephan Kiefer
Published in:
GI Jahrestagung (2009)
Keyphrases
</>
static analysis
dynamic analysis
malicious code
source code
symbolic execution
test generation
java card
sufficient conditions
business processes
decision trees
abstract interpretation
domain specific
high level
reverse engineering
regular expressions
sat solvers
open source
object oriented
web services