Safety Analysis for Dynamic Update of Object Oriented Programs.

Yogesh Murarka Umesh Bellur Rushikesh K. Joshi

Published in: APSEC (2006)

Keyphrases

safety analysis
object oriented programs
impact analysis
specification languages
integration testing
control system
object oriented
dynamic environments
intelligent agents
symbolic model checking
nuclear power plant
safety critical
real time
open source
user interface
information systems
artificial intelligence