Program Safety via Programmer Safety.

Published in: ISoLA (2006)

Keyphrases

program execution
decision making
safety critical
nuclear power plant
data sets
databases
neural network
web services
objective function
search algorithm
safety analysis