Testing-based translation validation of generated code in the context of IEC 61508.

Published in: Formal Methods Syst. Des. (2009)

Keyphrases

contextual information
control system
automatically generated
context sensitive
distributed systems
context aware
automatically generating
database
smart grid
context awareness
machine translation
test cases
source code
object oriented
artificial intelligence
genetic algorithm
databases
data sets