Login / Signup

Finite-state model extraction and visualization from Java program execution.

Jevitha K. P.Swaminathan JayaramanBharat JayaramanM. Sethumadhavan
Published in: Softw. Pract. Exp. (2021)
Keyphrases
  • finite state
  • probabilistic model
  • markov chain
  • objective function
  • probability distribution
  • object oriented
  • program execution