Login / Signup
UML state machine diagram driven runtime verification of Java programs for message interaction consistency.
Xuandong Li
Xiaokang Qiu
Linzhang Wang
Bin Lei
W. Eric Wong
Published in:
SAC (2008)
Keyphrases
</>
state machine
java programs
state machines
fault tolerant
java language
multi threaded
finite state machines
software components
model checking
test suite
formal methods
real time
pattern matching
database
operating system
software engineering
object oriented
case study
uml diagrams
artificial intelligence