Login / Signup
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.
Hai Nguyen Van
Thibaut Balabonski
Frédéric Boulanger
Chantal Keller
Benoît Valiron
Burkhart Wolff
Published in:
FORMATS (2017)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
mental states
denotational semantics
activity diagrams
high level
data model
declarative semantics
test cases
software testing
database
machine learning
agent programming