Extracting finite state representation of Java programs.

Tamal Sen Rajib Mall

Published in: Softw. Syst. Model. (2016)

Keyphrases

finite state
java programs
markov chain
markov decision processes
optimal policy
model checking
software components
real time
information systems
computer systems
fine grained
partially observable markov decision processes